projects
/
coq-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
c511bfaca2b1633d30bf727e2c1ae33b30f65113
[coq-hetmet.git]
/
examples
/
DemoMain.hs
1
import Control.Category
2
import GArrowTikZ
3
import GHC.HetMet.Private
4
import Control.GArrow
5
import Demo
6
7
main = tikz demo