dependent-types proof-assistant swift
README.md

haskell-pterodactyl #

Build #

Run $ cabal build to build the project

Documentation #

Run $ cabal haddock --open to generate a reference for the API of the project.