Input and output codes now looks similar to Haskell (or Curry?)
[darcs-mirror-sem_syn.git] / example / rev.txt
1 reverse xs = rev xs []
2 rev [] y    = y 
3 rev (a:x) y = rev x (a:y)