From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 14 Apr 2012 21:53:09 +0000 (-0700)
Subject: add commented-out demo
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=2f22f2f26622f85e457060de3a5c534004a26e79

add commented-out demo
---

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
+   ]>