Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for uAgda-1.1.0.0 source tarball
uAgda-1.1.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/
00-Start-Here.ua
01-Module.ua
02-Holes.ua
02.1-Relevance.ua
03-Parametricity.ua
03.1-Parametricity-Use.ua
04-Data.ua