Trieste implementation of a type checker for miniML as defined by https://plzoo.andrej.com/language/miniml.html but without mandatory type annotations of functions.

To build using make (note that you still need to have ninja installed for this to work):

make

otherwise, do

mkdir build && cd build
cmake -G Ninja ../src -DCMAKE_CXX_COMPILER=clang++
ninja

to run main on a file filename located in the examples folder:

make buildf f=filename 

a corresponding .trieste file will be written to out/filename.trieste