No description, website, or topics provided.
Haskell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src
test
.gitignore
Makefile
README.md
lucretia.cabal

README.md

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