Awesome

Lucretia: A type-checker for Python

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.

How to run

Install

$ cabal install

Run tests

$ cabal test

Documentation

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