Directory listing for uAgda-1.0.0.0 source tarball | Hackage

Hackage :: [Package]

Home
Browse
What's new
Upload
User accounts

Directory listing for uAgda-1.0.0.0 source tarball

uAgda-1.0.0.0/

AbsSynToTerm.hs
Basics.hs
Display.hs
LICENSE
Main.hs
Normal.hs
Options.hs
RawSyntax.hs
Setup.hs
Terms.hs
TypeCheckerNF.hs
uAgda.cabal
tutorial/