[coq-hetmet.git] / examples / DemoMain.hs

import Control.Category
import GArrowTikZ
import GHC.HetMet.Private
import GHC.HetMet.GArrow
import Demo

main = tikz demo