add examples of first-order (kappa calculus) terms at level-1

diff --git a/examples/KappaDemo.hs b/examples/KappaDemo.hs
new file mode 100644 (file)
index 0000000..f052012
--- /dev/null
+++ b/examples/KappaDemo.hs
@@ -0,0 +1,12 @@
+{-# OPTIONS_GHC -XModalTypes -dcore-lint -XScopedTypeVariables -ddump-types #-}
+module Demo (demo, demo2) where
+
+demo  z   = <{ \y -> ~~z }>
+
+demo2 :: <[ (a,b) ~~> c ]>@d -> <[ () ~~> a ]>@d -> <[ b ~~>c ]>@d
+demo2 x y = <{ ~~x ~~y }>
+
+demo3 x y z q = <{ ~~q (~~x ~~y ~~z) }>
+
+
+

diff --git a/examples/Makefile b/examples/Makefile
index f880d81..09e4b9c 100644 (file)
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -5,6 +5,7 @@ open:
        open .build/test.pdf
 
 #sanity += BiGArrow.hs
+sanity += KappaDemo.hs
 sanity += CircuitExample.hs
 sanity += CommandSyntaxExample.hs
 sanity += DotProduct.hs