You need to have Haskell stack tool.
For the Unix-like systems the installation can be done by one-liner:
make get-stack
Although the project is stack-based, it has a
simple make-interface. Consult Makefile for the main targets.
To build the project:
make
(It will simply call stack build.)
To run the fuzzer to get some random types do:
make run
It will generate N groups of similar types. The value of N
is hardcoded in the Haskell source (src/Main.hs, constant exp_num).
There are 99 of experiments by default.