Set Theoretic Types
Building requires OCaml >= 4.08, dune
>= 3.7, zarith
, menhir
, menhirLib
and sedlex
. Once these dependencies are installed, one may build the library
with dune build
.
A sample program bin/stt.exe
parses type definitions.