data/agda-2.6.1/CHANGELOG.md: UTF-8 Unicode text data/agda-2.6.1/stack-8.8.3.yaml: ASCII text data/agda-2.6.1/stack-8.2.2.yaml: ASCII text data/agda-2.6.1/LICENSE: UTF-8 Unicode text data/agda-2.6.1/stack-8.4.4.yaml: ASCII text data/agda-2.6.1/README.md: ASCII text, with very long lines data/agda-2.6.1/Setup.hs: ASCII text data/agda-2.6.1/stack-8.8.2.yaml: ASCII text data/agda-2.6.1/stack-8.0.2.yaml: ASCII text data/agda-2.6.1/stack-8.6.5.yaml: ASCII text data/agda-2.6.1/Agda.cabal: UTF-8 Unicode text, with very long lines data/agda-2.6.1/doc/user-manual.pdf: PDF document, version 1.5 data/agda-2.6.1/doc/release-notes/2.4.0.2.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.2.2.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.5.1.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.2.8.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.4.0.1.md: ASCII text data/agda-2.6.1/doc/release-notes/2.4.2.4.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.6.0.1.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.4.2.5.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.5.1.1.md: LaTeX document, UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.3.2.2.md: ASCII text data/agda-2.6.1/doc/release-notes/2.3.2.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.2.6.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.3.0.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.4.2.3.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.5.1.2.md: ASCII text data/agda-2.6.1/doc/release-notes/2.2.4.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.5.4.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.4.0.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.2.10.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.2.0.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.4.2.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.5.2.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.6.0.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.4.2.1.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.4.2.2.md: ASCII text data/agda-2.6.1/doc/release-notes/2.5.3.md: exported SGML document, UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.3.2.1.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.5.4.1.md: UTF-8 Unicode text data/agda-2.6.1/doc/release-notes/2.5.4.2.md: UTF-8 Unicode text data/agda-2.6.1/dist/build/Agda/Syntax/Parser/Parser.hs: UTF-8 Unicode text, with very long lines data/agda-2.6.1/dist/build/Agda/Syntax/Parser/Lexer.hs: C source, ASCII text, with very long lines data/agda-2.6.1/src/agda-mode/Main.hs: ASCII text data/agda-2.6.1/src/full/Agda/TheTypeChecker.hs: ASCII text data/agda-2.6.1/src/full/Agda/ImpossibleTest.hs: ASCII text data/agda-2.6.1/src/full/Agda/Main.hs: ASCII text data/agda-2.6.1/src/full/Agda/Version.hs: ASCII text data/agda-2.6.1/src/full/Agda/Main.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/Benchmarking.hs: ASCII text data/agda-2.6.1/src/full/Agda/VersionCommit.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Pretty.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Function.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Cluster.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Suffix.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Utils/Benchmark.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/BiMap.hs: C source, ASCII text data/agda-2.6.1/src/full/Agda/Utils/Functor.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Fail.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Time.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Except.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Favorites.hs: C source, ASCII text data/agda-2.6.1/src/full/Agda/Utils/Environment.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Float.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/SemiRing.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Null.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Warshall.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Either.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/String.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Utils/Trie.hs: C source, ASCII text data/agda-2.6.1/src/full/Agda/Utils/List.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Utils/Size.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/TypeLevel.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Update.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/FileName.hs: C source, ASCII text data/agda-2.6.1/src/full/Agda/Utils/Bag.hs: C source, ASCII text data/agda-2.6.1/src/full/Agda/Utils/Zipper.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Maybe.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Impossible.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Three.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Hash.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/POMonoid.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Empty.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Monoid.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/WithDefault.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/AffineHole.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/IndexedList.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Utils/Map.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Applicative.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Lens.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Singleton.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/AssocList.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/IORef.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Pointer.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/SmallSet.hs: C source, ASCII text data/agda-2.6.1/src/full/Agda/Utils/PartialOrd.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Utils/Tuple.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/IO.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/ListT.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Memo.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Permutation.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Utils/Geniplate.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/VarSet.hs: C source, ASCII text data/agda-2.6.1/src/full/Agda/Utils/Monad.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/TypeLits.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Maybe/Strict.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Utils/IO/TempFile.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/IO/Directory.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/IO/Binary.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/IO/UTF8.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/IntSet/Infinite.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Utils/Graph/TopSort.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Utils/Lens/Examples.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Haskell/Syntax.hs: ASCII text data/agda-2.6.1/src/full/Agda/Utils/Parser/MemoisedCPS.hs: TeX document, UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Interaction/Options.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Interaction/MakeCase.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Imports.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Interaction/InteractionTop.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Interaction/EmacsCommand.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/AgdaTop.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/SearchAbout.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Response.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/EmacsTop.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Imports.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Base.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/FindFile.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/CommandLine.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/BasicOps.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Interaction/JSON.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/JSONTop.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Response.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Monad.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Options/Lenses.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Options/Help.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Options/Warnings.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Options/IORefs.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Highlighting/Generate.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Highlighting/Precise.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Highlighting/LaTeX.hs: C source, ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Highlighting/Generate.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Highlighting/HTML.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Highlighting/Range.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Highlighting/Common.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Highlighting/JSON.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Highlighting/Dot.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Highlighting/Vim.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Highlighting/Emacs.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Library/Parse.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Library/Base.hs: ASCII text data/agda-2.6.1/src/full/Agda/Interaction/Library.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Pretty.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/CheckInternal.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Level.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Polarity.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/RecordPatterns.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Sort.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/LevelConstraints.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Datatypes.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/CheckInternal.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/ProjectionLike.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Level.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/SizedTypes.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Irrelevance.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Rewriting.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Errors.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Warnings.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Functions.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise.hs: C source, ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/EtaExpand.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Constraints.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Unquote.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/SyntacticEquality.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/ReconstructParameters.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/MetaVars.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Implicit.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Injectivity.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Empty.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/IApplyConfluence.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Empty.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/ProjectionLike.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Quote.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Generalize.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Positivity.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Errors.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Names.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/DropArgs.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Pretty.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Polarity.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/DisplayForm.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Abstract.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/With.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/CompiledClause.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Telescope.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Substitute.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Inlining.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Telescope.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Forcing.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Reduce.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Free.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Constraints.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/InstanceArguments.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/MetaVars.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/EtaContract.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Datatypes.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/DeadCode.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Rewriting.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Warnings.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Irrelevance.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Records.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Records.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion/Pure.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Mutual.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Options.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Benchmark.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Caching.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Signature.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Imports.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Base.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/SizedTypes.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Open.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Builtin.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Constraints.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Debug.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/MetaVars.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Signature.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Context.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Trace.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Base.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Closure.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/State.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Env.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Context.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Statistics.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/MetaVars.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Builtin.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs: C source, ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/LHS.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Record.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Def.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Term.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Display.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Def.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Decl.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Data.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Term.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Decl.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/LHS/Problem.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/LHS/Unify.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Rewriting/NonLinPattern.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Rewriting/Clause.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Rewriting/Confluence.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage/Match.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage/SplitTree.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Level/Solve.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Telescope/Path.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Base.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Reduce/Fast.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Reduce/Fast.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Reduce/Monad.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/CompiledClause/Match.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/CompiledClause/Compile.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Positivity/Occurrence.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/MetaVars/Occurs.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/MetaVars/Mention.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/SizedTypes/Syntax.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/SizedTypes/Solve.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/SizedTypes/Utils.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Free/Lazy.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Free/Reduce.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Free/Precompute.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Pretty/Warning.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Pretty/Warning.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Pretty/Call.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Pretty/Call.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Substitute/Class.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Substitute/DeBruijn.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Patterns/Match.hs: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Patterns/Match.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/TypeChecking/Patterns/Abstract.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/TypeChecking/Patterns/Internal.hs: ASCII text data/agda-2.6.1/src/full/Agda/Termination/SparseMatrix.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Termination/Termination.hs: ASCII text data/agda-2.6.1/src/full/Agda/Termination/CutOff.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Termination/Semiring.hs: ASCII text data/agda-2.6.1/src/full/Agda/Termination/RecCheck.hs: ASCII text data/agda-2.6.1/src/full/Agda/Termination/CallMatrix.hs: C source, UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Termination/CallGraph.hs: C source, ASCII text data/agda-2.6.1/src/full/Agda/Termination/TermCheck.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Termination/Order.hs: ASCII text data/agda-2.6.1/src/full/Agda/Termination/Monad.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Auto/Options.hs: ASCII text data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs: ASCII text data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Auto/Auto.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Auto/SearchControl.hs: ASCII text data/agda-2.6.1/src/full/Agda/Auto/CaseSplit.hs: ASCII text data/agda-2.6.1/src/full/Agda/Auto/Convert.hs: ASCII text data/agda-2.6.1/src/full/Agda/Auto/NarrowingSearch.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Literal.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Concrete.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Reflected.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Info.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Position.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Parser.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Builtin.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/IdiomBrackets.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/DoNotation.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Fixity.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Notation.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Abstract.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Internal.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Common.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Treeless.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Internal/Pattern.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Internal/MetaVars.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Internal/Names.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Internal/Generic.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Internal/Defs.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Internal/SanityCheck.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Pretty.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Pattern.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Attribute.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Name.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Fixity.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Operators.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Definitions.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Operators/Parser.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Operators/Parser/Monad.hs: C source, ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Abstract/Pretty.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Abstract/Pattern.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Abstract/Name.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Abstract/Views.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Abstract/PatternSynonyms.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Scope/Base.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Scope/Monad.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Translation/InternalToAbstract.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Translation/AbstractToConcrete.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Parser/Lexer.x: C source, ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Parser/Literate.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Parser/LexActions.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Parser/StringLiterals.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Parser/Tokens.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Parser/Layout.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Parser/Layout.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Parser/Parser.y: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Syntax/Parser/LexActions.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Parser/Alex.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Parser/Comments.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Parser/LookAhead.hs: ASCII text data/agda-2.6.1/src/full/Agda/Syntax/Parser/Monad.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/ToTreeless.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Compiler/Backend.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Backend.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Common.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/CallCompiler.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Pretty.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Erase.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Identity.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/EliminateDefaults.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Builtin.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Erase.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/EliminateLiteralPatterns.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/AsPatterns.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Subst.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Unused.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/GuardsToPrims.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Compare.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Simplify.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Uncase.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/Treeless/NormalizeNames.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/JS/Pretty.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/JS/Syntax.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/JS/Substitution.hs: C source, ASCII text data/agda-2.6.1/src/full/Agda/Compiler/JS/Compiler.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/Pretty.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/Primitives.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/Coerce.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/Misc.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/HaskellTypes.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/Pragmas.hs: UTF-8 Unicode text data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/Compiler.hs: ASCII text data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/Encode.hs: ASCII text data/agda-2.6.1/src/main/Main.hs: ASCII text data/agda-2.6.1/src/data/agda.sty: LaTeX auxiliary file, UTF-8 Unicode text data/agda-2.6.1/src/data/Agda.css: ASCII text data/agda-2.6.1/src/data/postprocess-latex.pl: Perl script text executable data/agda-2.6.1/src/data/JS/biginteger.js: ASCII text data/agda-2.6.1/src/data/JS/agda-rts.js: ASCII text data/agda-2.6.1/src/data/MAlonzo/src/MAlonzo/RTE.hs: ASCII text data/agda-2.6.1/src/data/lib/prim/Agda/Primitive.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Nat.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/IO.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/FromNeg.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Reflection.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Coinduction.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Char.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/FromString.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Word.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Int.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Sigma.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/TrustMe.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Strict.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Bool.agda: ASCII text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Size.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/String.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Equality.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/FromNat.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Unit.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/List.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Float.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Equality/Erase.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Equality/Rewrite.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Reflection/Properties.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/String/Properties.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Char/Properties.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Cubical/Path.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Cubical/Glue.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Cubical/HCompU.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Cubical/Id.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Cubical/Sub.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Word/Properties.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Builtin/Float/Properties.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/lib/prim/Agda/Primitive/Cubical.agda: UTF-8 Unicode text data/agda-2.6.1/src/data/emacs-mode/agda2-highlight.el: Lisp/Scheme program, UTF-8 Unicode text data/agda-2.6.1/src/data/emacs-mode/agda2-mode-pkg.el: ASCII text data/agda-2.6.1/src/data/emacs-mode/eri.el: Lisp/Scheme program, ASCII text data/agda-2.6.1/src/data/emacs-mode/agda2.el: Lisp/Scheme program, UTF-8 Unicode text data/agda-2.6.1/src/data/emacs-mode/agda-input.el: Lisp/Scheme program, UTF-8 Unicode text data/agda-2.6.1/src/data/emacs-mode/agda2-abbrevs.el: LaTeX document, UTF-8 Unicode text data/agda-2.6.1/src/data/emacs-mode/annotation.el: Lisp/Scheme program, ASCII text data/agda-2.6.1/src/data/emacs-mode/agda2-mode.el: Lisp/Scheme program, ASCII text data/agda-2.6.1/src/data/emacs-mode/agda2-queue.el: Lisp/Scheme program, ASCII text data/agda-2.6.1/debian/agda-bin.install: ASCII text data/agda-2.6.1/debian/agda-bin.lintian-overrides: ASCII text data/agda-2.6.1/debian/changelog: UTF-8 Unicode text data/agda-2.6.1/debian/clean: ASCII text data/agda-2.6.1/debian/compat: ASCII text data/agda-2.6.1/debian/control: UTF-8 Unicode text data/agda-2.6.1/debian/copyright: UTF-8 Unicode text data/agda-2.6.1/debian/elpa-agda2-mode.elpa: ASCII text data/agda-2.6.1/debian/libghc-agda-dev.install: ASCII text data/agda-2.6.1/debian/patches/series: ASCII text data/agda-2.6.1/debian/patches/var-lib-agda: unified diff output, ASCII text data/agda-2.6.1/debian/rules: a /usr/bin/make -f script, ASCII text executable data/agda-2.6.1/debian/source/format: ASCII text data/agda-2.6.1/debian/watch: ASCII text data/agda-2.6.1/.pc/.version: ASCII text data/agda-2.6.1/.pc/.quilt_patches: ASCII text data/agda-2.6.1/.pc/.quilt_series: ASCII text data/agda-2.6.1/.pc/applied-patches: ASCII text data/agda-2.6.1/.pc/var-lib-agda/src/full/Agda/Interaction/Library.hs: ASCII text