tomoasleep/fp-ice repository overview

⁠fp-ice — Refinement Type Inferencer

%%VERSION%%

fp-ice is TODO

fp-ice is distributed under the ISC license.

Homepage: https://github.com/tomoasleep/fp-ice⁠

⁠Installation

fp-ice can be installed with opam:

opam install fp-ice

If you don't use opam consult the opam⁠ file for build instructions.

⁠Documentation

The documentation and API reference is generated from the source interfaces. It can be consulted online⁠ or via odig doc fp-ice.

⁠Sample programs

If you installed fp-ice with opam sample programs are located in the directory opam var fp-ice:doc.

In the distribution sample programs and tests are located in the test⁠ directory of the distribution. They can be built and run with:

topkg build --tests true && topkg test