HaskFlattener: use pga_kappa a bit more, but not everywhere yet

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

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

main = tikz demo