Input and output codes now looks similar to Haskell (or Curry?)
[darcs-mirror-sem_syn.git] / example / sieve.txt
index 3414bc2..413fbc8 100644 (file)
@@ -1,3 +1,3 @@
-sieve (Nil)               = Nil
-sieve (Cons(a,Nil))       = Nil
-sieve (Cons(a,Cons(b,x))) = Cons(b,sieve(x))
+sieve []      = []
+sieve [a]     = []
+sieve (a:b:x) = b:sieve (x)