Typo: sieve/seive
[darcs-mirror-sem_syn.git] / example / sieve.txt
1 sieve (Nil)               = Nil
2 sieve (Cons(a,Nil))       = Nil
3 sieve (Cons(a,Cons(b,x))) = Cons(b,sieve(x))