HaskTyCons: add Int and Bool
[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