projects / coq-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
syntax update in KappaDemo.hs
[coq-hetmet.git] / examples / DemoMain.hs
1 import Control.Category
2 import GArrowTikZ
3 import GHC.HetMet.Private
4 import GHC.HetMet.GArrow
5 import Demo
6
7 main = tikz demo
Coq proofs and code accompanying the HetMet extensions for GHC