We use an intermediate abstract language called Lucretia to which Python will be compilled (to be implemented). For now the package provides functionality of type-checking programmes in Lucretia.
$ cabal install
$ cabal test
Documentation is describing how the implementation is connected with the theory from the white paper about Lucretia (to be published).
To compile the documentation, run:
$ cabal haddock --hyperlink-source