e6d3fff14b89510b73b66fb0e0ca7f9beb776c20
[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))