Commit 0fff819a authored by Jeff Smits's avatar Jeff Smits

Tiny example programs

parent 744ebfc4
module id
signature
constructors
Nil: Term
strategies
main = id
module map
signature
constructors
Nil: Term
Cons: Term * Term -> Term
strategies
main = ![1,2,3];map(!4)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment