> http://dpaste.dzfl.pl/e60eeb30e3b6 That code is in ATS1. Now there is ATS2 that has a better syntax, and is a bit more powerful (and can compile even to JavaScript). On the ATS site all the ATS1 examples apparently have being removed. Bye, bearophile