"Combining" in parenthesis
[darcs-mirror-sem_syn.git] / example / rev.txt
1 reverse(xs) = rev(xs,Nil)
2 rev(Nil,y)       = y
3 rev(Cons(a,x),y) = rev(x,Cons(a,y))