stdlib/coma.coma

   1
   2 module Std
   3
   4   let halt = any
   5
   6   let fail { false } = any
   7
   8   let if (b: bool) (then {b}) (else {not b}) = any
   9
  10 end
  11
  12 module List
  13
  14   use list.List
  15
  16   let unList < 'a > (l: list 'a)
  17     (onCons (h: 'a) (t: list 'a) {l = Cons h t})
  18     (onNil {l = Nil})
  19   = any
  20
  21 end