HaskStrongTypes: add {take,drop}_arg_types

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

diff --git a/examples/Demo.hs b/examples/Demo.hs
index 74bbef0..fea2dc7 100644 (file)
--- a/examples/Demo.hs
+++ b/examples/Demo.hs
@@ -5,6 +5,5 @@ import GHC.HetMet.Private
 import GArrowTikZ
 
 foo x = <[ ~~x ]>
-foo' = unG . pga_flatten . foo . pga_unflatten
---foo x z = <[ let y = ~~x in ~~z y y ]>
-main = tikz (foo' (PGArrowD { unG = TikZ_const 12 }))
+
+main = tikz' $ pga_flatten . foo . pga_unflatten