References to the papers and bff.cgi
[darcs-mirror-sem_syn.git] / example / seive.txt
1 seive (Nil)               = Nil
2 seive (Cons(a,Nil))       = Nil
3 seive (Cons(a,Cons(b,x))) = Cons(b,seive(x))