From 2f22f2f26622f85e457060de3a5c534004a26e79 Mon Sep 17 00:00:00 2001
From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 14 Apr 2012 14:53:09 -0700
Subject: [PATCH] add commented-out demo

---
 examples/IFLDemos.hs |   10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

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