FYI.
I contributed a package based on GMP for supporting integers of unlimited
precision:
https://github.com/githwxi/ATS-Postiats/blob/master/contrib/atshwxi/intinf/
There are some examples in
https://github.com/githwxi/ATS-Postiats/blob/master/contrib/atshwxi/intinf/TEST
which are pretty good for beginners to try/learn linear types.
Here are the updated links:
https://github.com/githwxi/ATS-Postiats-contrib/tree/master/contrib/libats-/hwxi/intinf/
https://github.com/githwxi/ATS-Postiats-contrib/tree/master/contrib/libats-/hwxi/intinf/TESTOn Sunday, April 21, 2013 2:24:27 AM UTC-4, gmhwxi wrote:
FYI.
I contributed a package based on GMP for supporting integers of unlimited
precision:https://github.com/githwxi/ATS-Postiats/blob/master/contrib/atshwxi/intinf/
There are some examples in
https://github.com/githwxi/ATS-Postiats/blob/master/contrib/atshwxi/intinf/TEST
which are pretty good for beginners to try/learn linear types.