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