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