"Combining" in parenthesis
[darcs-mirror-sem_syn.git] / example / initHalf.txt
1 initHalf(Nil)       = Nil
2 initHalf(Cons(a,x)) = Cons(a,initHalfWork(x,x))
3
4 initHalfWork(xs, Nil)         = Nil
5 initHalfWork(xs, Cons(x,Nil)) = Nil
6 initHalfWork(Cons(a,x), Cons(b,Cons(c,y)))
7     = Cons(a,initHalfWork(x,y))