example haskell project with agda code generation
JavaScript CSS Agda Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
doc
src
.gitignore
LICENSE
Setup.hs
agda-haskell-example.cabal