A simple package for calling GMP-functions in ATS
- CATS/gmp.cats: This file contains various C-macros that are
needed for compiling the C code generated from ATS source. Note that
the include-path must be properly set for the C-compiler so as to
allow it to have access to
- SATS/gmp.sats: This file contains the interface (in ATS) for various GMP-functions.
- DATS/gmp.dats: It is yet empty at this moment.
The pidigits directory contains an example that computes to a given position all of the digits in the famous constant PI.