projects / coq-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
General.v: add boolean and/or functions
[coq-hetmet.git] / examples / DemoMain.hs
1 import Control.Category
2 import GArrowTikZ
3 import Demo
4
5 main = tikz $ \const merge -> demo const merge
Coq proofs and code accompanying the HetMet extensions for GHC