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

Directory listing for Agda-2.4.0 source tarball

Agda-2.4.0/src/full/Agda/TypeChecking/

• Abstract.hs
• CheckInternal.hs
• CheckInternal.hs-boot
• CompiledClause.hs
• Constraints.hs
• Constraints.hs-boot
• Conversion.hs
• Conversion.hs-boot
• Coverage.hs
• Datatypes.hs
• Datatypes.hs-boot
• DisplayForm.hs
• DropArgs.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
• RecordPatterns.hs
• Records.hs
• Records.hs-boot
• Reduce.hs
• Serialise.hs
• SizedTypes.hs
• Substitute.hs
• SyntacticEquality.hs
• Telescope.hs
• Tests.hs
• With.hs
• CompiledClause/
  • Compile.hs
  • Compile.hs-boot
  • Match.hs
  • Match.hs-boot
• Coverage/
  • Match.hs
  • SplitTree.hs
• MetaVars/
  • Mention.hs
  • Occurs.hs
• Monad/
  • Base.hs
  • Base.hs-boot
  • Benchmark.hs
  • Builtin.hs
  • Closure.hs
  • Constraints.hs
  • Context.hs
  • Context.hs-boot
  • Debug.hs
  • Env.hs
  • Exception.hs
  • Imports.hs
  • MetaVars.hs
  • Mutual.hs
  • Open.hs
  • Options.hs
  • Options.hs-boot
  • Sharing.hs
  • Signature.hs
  • SizedTypes.hs
  • State.hs
  • Statistics.hs
  • Trace.hs
  • Base/
    • Benchmark.hs
    • KillRange.hs
• Patterns/
  • Abstract.hs
  • Match.hs
  • Match.hs-boot
• Reduce/
  • Monad.hs
• Rules/
  • Builtin.hs
  • Data.hs
  • Decl.hs
  • Decl.hs-boot
  • Def.hs
  • Def.hs-boot
  • LHS.hs
  • Record.hs
  • Term.hs
  • Term.hs-boot
  • Builtin/
    • Coinduction.hs
    • Coinduction.hs-boot
  • LHS/
    • Implicit.hs
    • Instantiate.hs
    • Problem.hs
    • ProblemRest.hs
    • Split.hs
    • Unify.hs
• SizedTypes/
  • Solve.hs
  • Syntax.hs
  • Tests.hs
  • Utils.hs
  • WarshallSolver.hs
• Test/
  • Generators.hs