Example don't work

[qcfu-bu]

I'm not sure what the status of this project is currently, but the examples shown in the documentation does not work. For example ReadFromSTDIN (2) throws syntax errors even though I've copied from the example directly. Are such errors happening because this project isn't finished? Or am I doing something wrong.

[githwxi]

If you have already installed ATS1 (ATS-Anairiats), then you can just git-clone ATS-Temptory from

https://github.com/githwxi/ATS-Temptory

I think that the syntax errors you encountered should be due to some keyword changes.

[githwxi]

I took a look at this project today. It seems to be up to date.

This project is for packaging ATS-Temptory. For instance, the following two packages can be generated:

ATS-Temptory-int-0.0.2.tgz
ATS-Temptory-gmp-0.0.2.tgz

You can use either of them to build ATS-Temptory. I suggest the first one as it does not require the gmplib library.