X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FDemoMain.hs;fp=examples%2FDemoMain.hs;h=d832b6e660dc2db17838ecacdb8f6bb7d408d43d;hp=0000000000000000000000000000000000000000;hb=6ae1b9b08da7c1d1f0de42afa1ccbf42acda3e62;hpb=4f4443fab27bf4724b7a1b5a92a48d5a58c440d7

diff --git a/examples/DemoMain.hs b/examples/DemoMain.hs
new file mode 100644
index 0000000..d832b6e
--- /dev/null
+++ b/examples/DemoMain.hs
@@ -0,0 +1,9 @@
+{-# OPTIONS_GHC -dcore-lint #-}
+import Control.Category
+import GHC.HetMet.GArrow
+import GHC.HetMet.CodeTypes
+import GHC.HetMet.Private
+import GArrowTikZ
+import Demo
+
+main = tikz' $ \const merge -> foo const (pga_comp (pga_second pga_cancelr) merge)