Directory listing for uAgda-1.2.0.4 source tarball | Hackage

Hackage :: [Package]

Home
Browse
What's new
Upload
User accounts

Directory listing for uAgda-1.2.0.4 source tarball

uAgda-1.2.0.4/

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