X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FGArrowDemo.hs;fp=examples%2FGArrowDemo.hs;h=e341bf2272f903035d10d70edd76f497739bded5;hp=0000000000000000000000000000000000000000;hb=ec996e8cb550676d89d187061db7d018af9ec88d;hpb=2f22f2f26622f85e457060de3a5c534004a26e79

diff --git a/examples/GArrowDemo.hs b/examples/GArrowDemo.hs
new file mode 100644
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
+