Directory listing for uAgda-1.2.0.1 source tarball | Hackage

Hackage :: [Package]

Home
Browse
What's new
Upload
User accounts

Directory listing for uAgda-1.2.0.1 source tarball

uAgda-1.2.0.1/

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