Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
REST'ful web framework in Agda
Haskell
tree: fb8fd77f88

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
Lemmachine
doc
vendor/stdlib
.gitignore
FFI.hs
LICENSE
Lemmachine.agda
README.md

README.md

Lemmachine

Setup

cabal install hack hack-handler-happstack

Development

We use a vendored modified Agda stdlib, so in Emacs: M-x customize group agda2

Then add this to Agda2 Include Dirs: ./vendor/stdlib/src

Running

Lemmachine statuses can presently be passed through to Hack.

To see this in action, run the following from the project root directory: agda -c -i . -i ./vendor/stdlib/src Lemmachine/Runner.agda ./Runner curl -i http://localhost:3000 && echo

Something went wrong with that request. Please try again.