Directory listing for Agda-2.2.2 source tarball
Agda-2.2.2/
- Agda.cabal
- LICENSE
- README
- Setup.hs
- dist/
- src/
- agda-mode/
- data/
- full/
- Agda/
- Main.hs
- Tests.hs
- TypeChecker.hs
- Version.hs
- undefined.h
- Compiler/
- Interaction/
- Syntax/
- Termination/
- TypeChecking/
- Abstract.hs
- Constraints.hs
- Conversion.hs
- Conversion.hs-boot
- Coverage.hs
- DisplayForm.hs
- Empty.hs
- Empty.hs-boot
- Errors.hs
- EtaContract.hs
- Free.hs
- Implicit.hs
- Injectivity.hs
- MetaVars.hs
- MetaVars.hs-boot
- Monad.hs
- Polarity.hs
- Polarity.hs-boot
- Positivity.hs
- Pretty.hs
- Primitive.hs
- Rebind.hs
- Records.hs
- Records.hs-boot
- Reduce.hs
- Serialise.hs
- SizedTypes.hs
- Substitute.hs
- Telescope.hs
- Tests.hs
- With.hs
- Coverage/
- Monad/
- Patterns/
- Rules/
- Test/
- Utils/
- Agda/