projects
/
coq-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
e341bf2272f903035d10d70edd76f497739bded5
[coq-hetmet.git]
/
examples
/
GArrowDemo.hs
1
2
3
sample1 =
4
ga_copy >>>
5
ga_swap >>>
6
ga_first ga_drop >>>
7
ga_cancell
8
9
-- from the paper
10
sample2 =
11
ga_uncancelr >>>
12
ga_first ga_copy >>>
13
ga_swap >>>
14
ga_second (ga_first ga_drop >>>
15
ga_cancell) >>>
16
ga_cancell
17