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

Directory listing for Agda-2.3.2 source tarball

Agda-2.3.2/

• Agda.cabal
• LICENSE
• README
• Setup.hs
• dist/
  • build/
    • Agda/
      • Syntax/
        • Parser/
          • Lexer.hs
          • Parser.hs
• doc/
  • release-notes/
    • 2-2-0.txt
    • 2-2-10.txt
    • 2-2-2.txt
    • 2-2-4.txt
    • 2-2-6.txt
    • 2-2-8.txt
    • 2-3-0.txt
    • 2-3-2.txt
• src/
  • agda-mode/
    • Main.hs
  • data/
    • Agda.css
    • agda.sty
    • EpicInclude/
      • AgdaPrelude.e
      • stdagda.c
      • stdagda.h
    • emacs-mode/
      • agda-input.el
      • agda2-abbrevs.el
      • agda2-highlight.el
      • agda2-mode.el
      • agda2-queue.el
      • agda2.el
      • annotation.el
      • eri.el
  • full/
    • Agda/
      • ImpossibleTest.hs
      • Main.hs
      • Tests.hs
      • TypeChecker.hs
      • Version.hs
      • undefined.h
      • Auto/
        • Auto.hs
        • CaseSplit.hs
        • Convert.hs
        • NarrowingSearch.hs
        • SearchControl.hs
        • Syntax.hs
        • Typecheck.hs
      • Compiler/
        • CallCompiler.hs
        • HaskellTypes.hs
        • Epic/
          • AuxAST.hs
          • CaseOpts.hs
          • CompileState.hs
          • Compiler.hs
          • Epic.hs
          • Erasure.hs
          • ForceConstrs.hs
          • Forcing.hs
          • FromAgda.hs
          • Injection.hs
          • Interface.hs
          • NatDetection.hs
          • Primitive.hs
          • Smashing.hs
          • Static.hs
        • JS/
          • Case.hs
          • Compiler.hs
          • Parser.hs
          • Pretty.hs
          • Substitution.hs
          • Syntax.hs
        • MAlonzo/
          • Compiler.hs
          • Compiler.hs-boot
          • Encode.hs
          • Misc.hs
          • Pretty.hs
          • Primitives.hs
      • Interaction/
        • BasicOps.hs
        • EmacsCommand.hs
        • Exceptions.hs
        • FindFile.hs
        • FindFile.hs-boot
        • GhcTop.hs
        • Imports.hs
        • Imports.hs-boot
        • InteractionTop.hs
        • MakeCase.hs
        • Monad.hs
        • Options.hs
        • Response.hs
        • Response.hs-boot
        • CommandLine/
          • CommandLine.hs
        • Highlighting/
          • Dot.hs
          • Emacs.hs
          • Generate.hs
          • Generate.hs-boot
          • HTML.hs
          • LaTeX.hs
          • Precise.hs
          • Range.hs
          • Vim.hs
      • Packaging/
        • Config.hs
        • Database.hs
        • Monad.hs
        • Types.hs
      • Syntax/
        • Abstract.hs
        • Common.hs
        • Concrete.hs
        • Fixity.hs
        • Info.hs
        • Internal.hs
        • Literal.hs
        • Notation.hs
        • Parser.hs
        • Position.hs
        • Abstract/
          • Copatterns.hs
          • Name.hs
          • Pretty.hs
          • Views.hs
        • Concrete/
          • Definitions.hs
          • Name.hs
          • Operators.hs
          • Pretty.hs
          • Operators/
            • Parser.hs
        • Internal/
          • Generic.hs
          • Pattern.hs
        • Parser/
          • Alex.hs
          • Comments.hs
          • Layout.hs
          • Layout.hs-boot
          • LexActions.hs
          • LexActions.hs-boot
          • Lexer.x
          • LookAhead.hs
          • Monad.hs
          • Parser.y
          • StringLiterals.hs
          • Tokens.hs
        • Scope/
          • Base.hs
          • Monad.hs
        • Translation/
          • AbstractToConcrete.hs
          • ConcreteToAbstract.hs
          • InternalToAbstract.hs
      • Termination/
        • CallGraph.hs
        • Lexicographic.hs
        • Matrix.hs
        • Semiring.hs
        • SparseMatrix.hs
        • TermCheck.hs
        • Termination.hs
      • 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/
          • 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
          • 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
        • Patterns/
          • Match.hs
          • Match.hs-boot
        • 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
        • Test/
          • Generators.hs
      • Utils/
        • Char.hs
        • Either.hs
        • FileName.hs
        • Fresh.hs
        • Function.hs
        • Geniplate.hs
        • Graph.hs
        • Hash.hs
        • HashMap.hs
        • Impossible.hs
        • List.hs
        • Map.hs
        • Maybe.hs
        • Monad.hs
        • Permutation.hs
        • Pointed.hs
        • Pointer.hs
        • Pretty.hs
        • QuickCheck.hs
        • ReadP.hs
        • SemiRing.hs
        • Size.hs
        • String.hs
        • Suffix.hs
        • TestHelpers.hs
        • Time.hs
        • Trie.hs
        • Tuple.hs
        • Unicode.hs
        • VarSet.hs
        • Warshall.hs
        • IO/
          • Binary.hs
          • UTF8.hs
  • main/
    • Main.hs