map.str 117 Bytes
Newer Older
Jeff Smits's avatar
Jeff Smits committed
1 2 3 4 5 6 7
module map
signature
  constructors
    Nil: Term
    Cons: Term * Term -> Term
strategies
  main = ![1,2,3];map(!4)