update to use Control.GArrow instead of GHC.HetMet.GArrow

[coq-hetmet.git] / examples / GArrowDemo.hs

diff --git a/examples/GArrowDemo.hs b/examples/GArrowDemo.hs
new file mode 100644 (file)
index 0000000..e341bf2
--- /dev/null
+++ b/examples/GArrowDemo.hs
@@ -0,0 +1,17 @@
+
+
+sample1 =
+  ga_copy          >>>
+  ga_swap          >>>
+  ga_first ga_drop >>>
+  ga_cancell
+
+-- from the paper
+sample2 =
+  ga_uncancelr                >>>
+  ga_first ga_copy            >>>
+  ga_swap                     >>>
+  ga_second (ga_first ga_drop >>>
+             ga_cancell)      >>>
+  ga_cancell
+