X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FIFLDemos.hs;h=288e6a418a0c820356e17afeb9c5bfa824e5a0fa;hp=43d29f448ecdc2a0dda0a520960c8f369114e4a5;hb=ec996e8cb550676d89d187061db7d018af9ec88d;hpb=f467e4cca6440fd1aedb1651d7c11f9813a5c8cb

diff --git a/examples/IFLDemos.hs b/examples/IFLDemos.hs
index 43d29f4..288e6a4 100644
--- a/examples/IFLDemos.hs
+++ b/examples/IFLDemos.hs
@@ -1,6 +1,14 @@
 {-# OPTIONS_GHC -XModalTypes -dcore-lint -XScopedTypeVariables -ddump-types -XTypeFamilies -XNoMonomorphismRestriction #-}
 module Demo (demo, demo2) where
 
+{-
+demo :: 
+  <[ \input ->
+        let delayed = ~~reg output
+            output  = ~~xor input delayed
+        in output ]>
+-}
+
 demo  z   = <[ \y -> ~~z ]>
 
 demo2 :: <[ (a,b) ~~> c ]>@d -> <[ () ~~> a ]>@d -> <[ b ~~>c ]>@d
@@ -85,4 +93,4 @@ sha256round =
                           k_plus_w)
          t2   = adder s0 (maj3 a b c)
      in h
-   ]>
\ No newline at end of file
+   ]>