Skip to content

Implementation of Martin-Löf Type Theory in Haskell

Notifications You must be signed in to change notification settings

sconybeare/mltt

Repository files navigation

mltt

An implementation of Martin-Löf Type Theory in Haskell.

Update to latest version of Cabal.

cabal update
cabal install cabal-install

Initialize a sandbox and install the package's dependencies.

make install

For Nix users:

make nix-shell

Configure & build the package.

make configure
make build

Test package.

make test

Run executable.

make run

Start REPL.

make repl

Generate documentation.

make haddock

Analyze coverage.

make hpc

About

Implementation of Martin-Löf Type Theory in Haskell

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published