[coq-hetmet.git] / DemoMain.hs

import Control.Category
import GArrowTikZ
import Demo

main = tikz $ \const merge -> demo const merge