[Init] Implementation of "Combining Syntactic and Semantic Bidirectionalization"
[darcs-mirror-sem_syn.git] / example / init.txt
1 init (Nil)         = Nil
2 init (Cons(a,Nil)) = Nil
3 init (Cons(a,Cons(b,x))) = Cons(a,initWork(b,x))
4 initWork(a,Nil)       = Nil
5 initWork(a,Cons(b,x)) = Cons(a,initWork(b,x))