• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for Agda-2.7.0.1 candidate source tarball

Agda-2.7.0.1/src/full/Agda/Compiler/Treeless/

• AsPatterns.hs
• Builtin.hs
• Compare.hs
• EliminateDefaults.hs
• EliminateLiteralPatterns.hs
• Erase.hs
• Erase.hs-boot
• GuardsToPrims.hs
• Identity.hs
• NormalizeNames.hs
• Pretty.hs
• Pretty.hs-boot
• Simplify.hs
• Subst.hs
• Uncase.hs
• Unused.hs