Directory listing for Agda-2.3.2.1 source tarball
Agda-2.3.2.1/src/full/Agda/
- ImpossibleTest.hs
- Main.hs
- Tests.hs
- TypeChecker.hs
- Version.hs
- undefined.h
- Auto/
- Compiler/
- Interaction/
- Packaging/
- Syntax/
- Termination/
- TypeChecking/
- Abstract.hs
- CompiledClause.hs
- Constraints.hs
- Constraints.hs-boot
- Conversion.hs
- Conversion.hs-boot
- Coverage.hs
- Datatypes.hs
- Datatypes.hs-boot
- DisplayForm.hs
- DropArgs.hs
- Eliminators.hs
- Empty.hs
- Empty.hs-boot
- Errors.hs
- Errors.hs-boot
- EtaContract.hs
- Forcing.hs
- Free.hs
- Implicit.hs
- Injectivity.hs
- InstanceArguments.hs
- InstanceArguments.hs-boot
- Irrelevance.hs
- Level.hs
- Level.hs-boot
- LevelConstraints.hs
- MetaVars.hs
- MetaVars.hs-boot
- Monad.hs
- Polarity.hs
- Polarity.hs-boot
- Positivity.hs
- Pretty.hs
- Pretty.hs-boot
- Primitive.hs
- ProjectionLike.hs
- ProjectionLike.hs-boot
- Quote.hs
- Rebind.hs
- RecordPatterns.hs
- Records.hs
- Records.hs-boot
- Reduce.hs
- Serialise.hs
- SizedTypes.hs
- Substitute.hs
- Telescope.hs
- Tests.hs
- UniversePolymorphism.hs
- UniversePolymorphism.hs-boot
- With.hs
- CompiledClause/
- Coverage/
- MetaVars/
- Monad/
- Patterns/
- Rules/
- Test/
- Utils/