X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FDemoMain.hs;h=08fab3e6d6dd51a623721e9459f547420920dee1;hp=e3e56b737d2a500cfe398246694971dd7130ab5a;hb=423b0bd3972c5bcbbd757cb715e13b5b9104a9a6;hpb=bc93ead06902db52dfcc229084a42152d4166bdf

diff --git a/examples/DemoMain.hs b/examples/DemoMain.hs
index e3e56b7..08fab3e 100644
--- a/examples/DemoMain.hs
+++ b/examples/DemoMain.hs
@@ -4,12 +4,4 @@ import GHC.HetMet.Private
 import GHC.HetMet.GArrow
 import Demo
 
-{-
-demo' ::
-         (Int -> PGArrow g (GArrowUnit g) (GArrowTensor g (GArrowUnit g) Int) ) -> 
-         (       PGArrow g (GArrowTensor g (GArrowTensor g Int Int) (GArrowUnit g)) Int) ->
-         (PGArrow g (GArrowUnit g) (GArrowTensor g (GArrowUnit g) Int) )
-demo' = demo
--}
-
-main = tikz $ \const merge -> demo const merge
+main = tikz demo