atscntrb-hx-libgmp

    1.0.1 • Public • Published

    Libgmp

    A simple package for calling GMP-functions in ATS

    Description

    CATS Files

    1. 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 gmp.cats.

    SATS Files

    1. SATS/gmp.sats: This file contains the interface (in ATS) for various GMP-functions.

    DATS Files

    1. DATS/gmp.dats: It is yet empty at this moment.

    TEST Files

    The pidigits directory contains an example that computes to a given position all of the digits in the famous constant PI.

    Install

    npm i atscntrb-hx-libgmp

    DownloadsWeekly Downloads

    2

    Version

    1.0.1

    License

    MIT

    Last publish

    Collaborators

    • npmhwxi