X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FDemo.hs;fp=examples%2FDemo.hs;h=0a5e4e48077be405bb2d2498fa96bb46e95418d3;hp=bac14abbeb2b21f38bf9108b3449283f11302a48;hb=68f5bca870525f0740a4c5cb1fdbc7c7ce270306;hpb=7c9df3b89842f11d0bcb00ab24012160174e5f7a

diff --git a/examples/Demo.hs b/examples/Demo.hs
index bac14ab..0a5e4e4 100644
--- a/examples/Demo.hs
+++ b/examples/Demo.hs
@@ -2,10 +2,21 @@
 module Demo (demo) where
 
 
---demo const mult = <[ \(y::Int) -> ~~mult y ~~(const 12) ]>
+demo const mult = <[ \(y::Int) -> ~~mult y ~~(const 12) ]>
+{-
+demo const mult = <[ \y -> ~~(demo' 0) ]>
+  where
+   demo' 0 = const 4
+   demo' n = const 4
+-}
+-- demo' n = <[ ~~mult ~~(demo' (n-1)) ~~(demo' (n-1)) ]>
+
 
+
+{-
 demo const mult =
    <[ \y -> let y = ~~(const 4) in ~~mult (~~mult y y) (~~mult y y) ]>
+-}
 
 {-
 demo const mult =