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

Directory listing for idris-0.99.2 candidate source tarball

idris-0.99.2/

• .gitattributes
• .gitignore
• .stylish-haskell.yaml
• .travis.yml
• CHANGELOG.md
• CITATION.md
• CONTRIBUTING.md
• CONTRIBUTORS
• HLint.hs
• INSTALL.md
• LICENSE
• Makefile
• README.md
• RELEASE-CHECKS.md
• Setup.hs
• appveyor.yml
• config.mk
• custom.mk-alldeps
• idris-tutorial.pdf
• idris.cabal
• mkpkg.sh
• stack-shell.nix
• stack.yaml
• stylize.sh
• win-release.sh
• benchmarks/
  • ALL
  • README
  • build.pl
  • run.pl
  • fasta/
    • fasta.idr
    • fasta.ipkg
  • pidigits/
    • pidigits.idr
    • pidigits.ipkg
  • quasigroups/
    • Main.idr
    • Parser.idr
    • Solver.idr
    • board
    • qgsolve.ipkg
  • trivial/
    • sortvec.idr
    • sortvec.ipkg
• codegen/
  • idris-codegen-c/
    • Main.hs
  • idris-codegen-javascript/
    • Main.hs
  • idris-codegen-node/
    • Main.hs
• docs/
  • .gitignore
  • LICENSE
  • Makefile
  • README.md
  • conf.py
  • index.rst
  • make.bat
  • effects/
    • conclusions.rst
    • depeff.rst
    • hangman.rst
    • impleff.rst
    • index.rst
    • introduction.rst
    • simpleeff.rst
    • state.rst
    • summary.rst
  • faq/
    • faq.rst
    • index.rst
  • guides/
    • index.rst
    • theorem-prover.rst
    • type-providers-ffi.rst
  • image/
    • effects-tree.png
    • login.png
    • netstate.png
  • listing/
    • idris-prompt-helloworld.txt
    • idris-prompt-interp.txt
    • idris-prompt-start.txt
  • proofs/
    • index.rst
    • inductive.rst
    • interactive.rst
    • patterns.rst
    • pluscomm.rst
  • reference/
    • codegen.rst
    • compilation.rst
    • documenting.rst
    • elaborator-reflection.rst
    • erasure.rst
    • ffi.rst
    • ide-protocol.rst
    • index.rst
    • internals.rst
    • language-extensions.rst
    • language-features.rst
    • misc.rst
    • packages.rst
    • partial-evaluation.rst
    • repl.rst
    • semantic-highlighting.rst
    • syntax-guide.rst
    • tactics.rst
    • type-directed-search.rst
    • uniqueness-types.rst
  • st/
    • composing.rst
    • examples.rst
    • index.rst
    • introduction.rst
    • machines.rst
    • state.rst
  • tutorial/
    • conclusions.rst
    • index.rst
    • interactive.rst
    • interfaces.rst
    • interp.rst
    • introduction.rst
    • miscellany.rst
    • modules.rst
    • packages.rst
    • provisional.rst
    • starting.rst
    • syntax.rst
    • theorems.rst
    • typesfuns.rst
    • views.rst
• icons/
  • idris-128x128.png
  • idris-256x256.png
  • idris-48x48.png
  • idris-512x512.png
  • idris-64x64.png
  • idris.ico
  • idris_icon.rc
  • text-x-idris.svg
  • x-idris-bytecode.xml
  • x-idris-literate.xml
  • x-idris.xml
• idrisdoc/
  • styles.css
• jsrts/
  • Runtime-browser.js
  • Runtime-common.js
  • Runtime-node.js
  • jsbn/
    • LICENSE
    • jsbn.js
• libs/
  • Makefile
  • base/
    • Makefile
    • System.idr
    • base.ipkg
    • Control/
      • Arrow.idr
      • Catchable.idr
      • Category.idr
      • IOExcept.idr
      • Isomorphism.idr
      • Monad/
        • Identity.idr
        • RWS.idr
        • Reader.idr
        • State.idr
        • Trans.idr
        • Writer.idr
    • Data/
      • Bits.idr
      • Buffer.idr
      • Complex.idr
      • Erased.idr
      • Fin.idr
      • HVect.idr
      • List.idr
      • Mod2.idr
      • Morphisms.idr
      • So.idr
      • SortedSet.idr
      • String.idr
      • Vect.idr
      • List/
        • Quantifiers.idr
        • Views.idr
      • Nat/
        • Views.idr
      • Primitives/
        • Views.idr
      • String/
        • Views.idr
      • Vect/
        • Quantifiers.idr
        • Views.idr
    • Debug/
      • Error.idr
      • Trace.idr
    • Language/
      • Reflection/
        • Utils.idr
    • Syntax/
      • PreorderReasoning.idr
    • System/
      • Info.idr
      • Concurrency/
        • Channels.idr
        • Raw.idr
  • contrib/
    • CFFI.idr
    • Makefile
    • contrib.ipkg
    • CFFI/
      • Memory.idr
      • Types.idr
    • Control/
      • Algebra.idr
      • Partial.idr
      • ST.idr
      • Algebra/
        • Lattice.idr
        • NumericImplementations.idr
        • VectorSpace.idr
      • Isomorphism/
        • Primitives.idr
      • ST/
        • Exception.idr
        • ImplicitCall.idr
    • Data/
      • BoundedList.idr
      • CoList.idr
      • Fun.idr
      • Graph.idr
      • Hash.idr
      • Heap.idr
      • Matrix.idr
      • Monoid.idr
      • Polyhedra.idr
      • Rel.idr
      • Sign.idr
      • SortedMap.idr
      • SortedSet.idr
      • Storable.idr
      • String.idr
      • ZZ.idr
      • Fin/
        • Extra.idr
      • List/
        • Zipper.idr
      • Matrix/
        • Algebraic.idr
        • Numeric.idr
      • Nat/
        • DivMod.idr
        • DivMod/
          • IteratedSubtraction.idr
    • Decidable/
      • Decidable.idr
      • Order.idr
    • Interfaces/
      • Verified.idr
    • Network/
      • Cgi.idr
      • Socket.idr
      • Socket/
        • Data.idr
        • Raw.idr
    • System/
      • Concurrency/
        • Process.idr
  • effects/
    • Effects.idr
    • Makefile
    • effects.ipkg
    • Effect/
      • Default.idr
      • Exception.idr
      • File.idr
      • Memory.idr
      • Monad.idr
      • Perf.idr
      • Random.idr
      • Select.idr
      • State.idr
      • StdIO.idr
      • System.idr
      • Trans.idr
      • Logging/
        • Category.idr
        • Default.idr
        • Level.idr
  • oldeffects/
    • Effects.idr
    • Makefile
    • effects.ipkg
    • Effect/
      • Default.idr
      • Exception.idr
      • File.idr
      • Memory.idr
      • Monad.idr
      • Random.idr
      • Select.idr
      • State.idr
      • StdIO.idr
      • System.idr
  • prelude/
    • Builtins.idr
    • IO.idr
    • Makefile
    • Prelude.idr
    • prelude.ipkg
    • Decidable/
      • Equality.idr
    • Language/
      • Reflection.idr
      • Reflection/
        • Elab.idr
        • Errors.idr
    • Prelude/
      • Algebra.idr
      • Applicative.idr
      • Basics.idr
      • Bits.idr
      • Bool.idr
      • Cast.idr
      • Chars.idr
      • Doubles.idr
      • Either.idr
      • File.idr
      • Foldable.idr
      • Functor.idr
      • Interactive.idr
      • Interfaces.idr
      • List.idr
      • Maybe.idr
      • Monad.idr
      • Nat.idr
      • Pairs.idr
      • Providers.idr
      • Show.idr
      • Stream.idr
      • Strings.idr
      • Traversable.idr
      • Uninhabited.idr
      • WellFounded.idr
  • pruviloj/
    • Makefile
    • Pruviloj.idr
    • README.txt
    • pruviloj.ipkg
    • Pruviloj/
      • Core.idr
      • Disjoint.idr
      • Induction.idr
      • Injective.idr
      • Internals.idr
      • Renamers.idr
      • Derive/
        • DecEq.idr
        • Eliminators.idr
      • Internals/
        • TyConInfo.idr
• logos/
  • logo-text.svg
  • logo.svg
• main/
  • Main.hs
• man/
  • idris.1
• rts/
  • Makefile
  • getline.c
  • getline.h
  • idris_bitstring.c
  • idris_bitstring.h
  • idris_buffer.c
  • idris_buffer.h
  • idris_gc.c
  • idris_gc.h
  • idris_gmp.c
  • idris_gmp.h
  • idris_heap.c
  • idris_heap.h
  • idris_main.c
  • idris_net.c
  • idris_net.h
  • idris_opts.c
  • idris_opts.h
  • idris_rts.c
  • idris_rts.h
  • idris_stats.c
  • idris_stats.h
  • idris_stdfgn.c
  • idris_stdfgn.h
  • idris_utf8.c
  • idris_utf8.h
  • libtest.c
  • mini-gmp.c
  • mini-gmp.h
  • arduino/
    • idris_main.c
  • windows/
    • idris_net.c
    • win_utils.c
• samples/
  • ST/
    • Composite.idr
    • Intro.idr
    • Login.idr
    • LoginCount.idr
    • TreeTag.idr
    • Graphics/
      • Draw.idr
      • Turtle.idr
    • Net/
      • EchoSimple.idr
      • Network.idr
      • RandServer.idr
      • Threads.idr
  • effects/
    • ConsoleIO.idr
    • Exception.idr
    • Makefile
    • Random.idr
    • ReadInt.idr
    • Select.idr
    • TreeTag-noeff.idr
    • TreeTag.idr
    • TreeTagCount.idr
    • hworld.idr
    • vadd.idr
  • misc/
    • Makefile
    • binary.idr
    • interp-alt.idr
    • interp.idr
    • javaffi.idr
    • named_implementation.lidr
    • reflection.idr
  • tutorial/
    • Makefile
    • binary.idr
    • bmain.idr
    • btree.idr
    • btreemod.idr
    • classes.idr
    • foo.idr
    • hello.idr
    • idiom.idr
    • interp.idr
    • letbind.idr
    • prims.idr
    • theorems.idr
    • universe.idr
    • usefultypes.idr
    • vbroken.idr
    • views.idr
    • viewsbroken.idr
    • wheres.idr
• scripts/
  • generate-multi-ghc-travis-template
• src/
  • .ghci
  • Target_idris.hs
  • Tools_idris.hs
  • Version_idris.hs
  • IRTS/
    • BCImp.hs
    • Bytecode.hs
    • CodegenC.hs
    • CodegenCommon.hs
    • CodegenJavaScript.hs
    • Compiler.hs
    • Defunctionalise.hs
    • DumpBC.hs
    • Exports.hs
    • Inliner.hs
    • Lang.hs
    • LangOpts.hs
    • Portable.hs
    • Simplified.hs
    • System.hs
    • JavaScript/
      • AST.hs
  • Idris/
    • ASTUtils.hs
    • AbsSyntax.hs
    • AbsSyntaxTree.hs
    • Apropos.hs
    • CaseSplit.hs
    • Chaser.hs
    • CmdOptions.hs
    • Colours.hs
    • Completion.hs
    • Coverage.hs
    • DSL.hs
    • DataOpts.hs
    • DeepSeq.hs
    • Delaborate.hs
    • Directives.hs
    • Docs.hs
    • Docstrings.hs
    • ElabDecls.hs
    • Erasure.hs
    • ErrReverse.hs
    • Error.hs
    • Help.hs
    • IBC.hs
    • IdeMode.hs
    • IdrisDoc.hs
    • Imports.hs
    • Info.hs
    • Inliner.hs
    • Interactive.hs
    • Main.hs
    • ModeCommon.hs
    • Output.hs
    • Package.hs
    • Parser.hs
    • PartialEval.hs
    • Primitives.hs
    • ProofSearch.hs
    • Prover.hs
    • Providers.hs
    • REPL.hs
    • Reflection.hs
    • Termination.hs
    • Transforms.hs
    • TypeSearch.hs
    • Unlit.hs
    • WhoCalls.hs
    • Core/
      • Binary.hs
      • CaseTree.hs
      • Constraints.hs
      • DeepSeq.hs
      • Elaborate.hs
      • Evaluate.hs
      • Execute.hs
      • ProofState.hs
      • ProofTerm.hs
      • TT.hs
      • Typecheck.hs
      • Unify.hs
      • WHNF.hs
    • Elab/
      • AsPat.hs
      • Clause.hs
      • Data.hs
      • Implementation.hs
      • Interface.hs
      • Provider.hs
      • Quasiquote.hs
      • Record.hs
      • Rewrite.hs
      • RunElab.hs
      • Term.hs
      • Transform.hs
      • Type.hs
      • Utils.hs
      • Value.hs
    • Info/
      • Show.hs
    • Package/
      • Common.hs
      • Parser.hs
    • Parser/
      • Data.hs
      • Expr.hs
      • Helpers.hs
      • Ops.hs
    • REPL/
      • Browse.hs
      • Commands.hs
      • Parser.hs
  • Util/
    • DynamicLinker.hs
    • Net.hs
    • Pretty.hs
    • ScreenSize.hs
    • System.hs
• test/
  • README.md
  • TestData.hs
  • TestRun.hs
  • mktest.pl
  • base001/
    • Makefile
    • base001.idr
    • base001.ipkg
    • exit1.c
    • expected
    • run
    • sys.c
    • sys.h
  • basic001/
    • basic001a.idr
    • expected
    • reg005.idr
    • run
  • basic002/
    • expected
    • run
    • test006.idr
  • basic003/
    • expected
    • run
    • test027.idr
  • basic004/
    • expected
    • run
    • test016.idr
  • basic005/
    • expected
    • run
    • test019.lidr
  • basic006/
    • expected
    • run
    • test020.idr
    • test020a.idr
  • basic007/
    • expected
    • run
    • test033.idr
  • basic008/
    • expected
    • run
    • test036.idr
  • basic009/
    • A.idr
    • Faulty.idr
    • Main.idr
    • Multiple.idr
    • expected
    • run
    • B/
      • C.idr
  • basic010/
    • Main.idr
    • expected
    • run
  • basic011/
    • basic011.idr
    • expected
    • run
  • basic012/
    • basic012.idr
    • basic012a.idr
    • expected
    • run
  • basic013/
    • basic013.idr
    • expected
    • run
  • basic014/
    • basic014.idr
    • expected
    • run
  • basic015/
    • basic015.idr
    • expected
    • run
  • basic016/
    • CycleA.idr
    • CycleB.idr
    • CycleC.idr
    • expected
    • run
  • basic017/
    • basic017.idr
    • basic017a.idr
    • expected
    • run
  • basic018/
    • basic018.idr
    • expected
    • run
  • basic019/
    • basic019.idr
    • expected
    • run
  • bignum001/
    • bignum001.idr
    • expected
    • run
  • bignum002/
    • bignum002.idr
    • expected
    • run
  • bounded001/
    • bounded001.idr
    • expected
    • run
  • buffer001/
    • buffer001.idr
    • expected
    • run
  • corecords001/
    • corecords001.idr
    • expected
    • run
  • corecords002/
    • corecords002.idr
    • expected
    • run
  • delab001/
    • delab001.idr
    • expected
    • input
    • run
  • directives001/
    • directives001.idr
    • expected
    • run
  • directives002/
    • directives002.idr
    • expected
    • run
  • disambig002/
    • disambig002.idr
    • expected
    • run
  • docs001/
    • docs001.idr
    • expected
    • input
    • run
  • docs002/
    • docs002.idr
    • expected
    • input
    • run
  • docs003/
    • docs003.idr
    • expected
    • input
    • run
  • docs004/
    • docs004.idr
    • expected
    • input
    • run
  • docs005/
    • docs005.idr
    • expected
    • input
    • run
  • docs006/
    • docs006.idr
    • expected
    • input
    • run
  • dsl001/
    • expected
    • input
    • run
    • test001.idr
  • dsl002/
    • Resimp.idr
    • expected
    • run
    • test
    • test014.idr
  • dsl003/
    • DSLPi.idr
    • expected
    • run
  • dsl004/
    • Door0.idr
    • Door1.idr
    • Door2.idr
    • Door3.idr
    • IOu.idr
    • expected
    • run
  • effects001/
    • expected
    • run
    • test021.idr
    • test021a.idr
    • testFile
  • effects002/
    • expected
    • run
    • test025.idr
  • effects003/
    • VectMissing.idr
    • expected
    • hangman.idr
    • input
    • run
  • effects004/
    • effects004.idr
    • expected
    • input
    • run
  • effects005/
    • categoryLogger.idr
    • defaultLogger.idr
    • expected
    • run
  • error001/
    • expected
    • expected_ttquot
    • run
    • test002.idr
  • error002/
    • expected
    • run
    • test031.idr
  • error003/
    • ErrorReflection.idr
    • expected
    • run
  • error004/
    • FunErrTest.idr
    • expected
    • run
  • error005/
    • error005.idr
    • expected
    • run
  • error006/
    • WithPatsNoWith.idr
    • expected
    • run
  • error007/
    • error007.idr
    • expected
    • run
  • error008/
    • error008.idr
    • error008a.idr
    • expected
    • run
  • error009/
    • expected
    • run
  • ffi001/
    • expected
    • run
    • test022.idr
  • ffi002/
    • expected
    • run
    • test023.idr
  • ffi003/
    • expected
    • input
    • run
    • test024.idr
  • ffi004/
    • expected
    • run
    • test026.idr
    • theOtherType
    • theType
  • ffi005/
    • Postulate.idr
    • expected
    • run
  • ffi006/
    • expected
    • ffi006.c
    • ffi006.idr
    • run
  • ffi007/
    • expected
    • ffi007.c
    • ffi007.h
    • ffi007.idr
    • run
  • ffi008/
    • expected
    • ffi008.c
    • ffi008.h
    • ffi008.idr
    • run
  • ffi009/
    • Bad.idr
    • Good.idr
    • expected
    • ffi009.c
    • ffi009.h
    • run
  • folding001/
    • expected
    • folding001.idr
    • run
  • idrisdoc001/
    • TestEmpty.idr
    • TestPrivate.idr
    • expected
    • run
    • test_empty.ipkg
  • idrisdoc002/
    • TestFunctions.idr
    • expected
    • run
    • test_functions.ipkg
  • idrisdoc003/
    • TestDatatypes.idr
    • expected
    • run
    • test_datatypes.ipkg
  • idrisdoc004/
    • TestInterfaces.idr
    • expected
    • run
    • test_interfaces.ipkg
  • idrisdoc005/
    • TestTracing.idr
    • expected
    • run
    • test_tracing.ipkg
  • idrisdoc006/
    • B.idr
    • expected
    • package_a.ipkg
    • package_b.ipkg
    • run
    • A/
      • fully/
        • Qualified/
          • NAME.idr
  • idrisdoc007/
    • A.idr
    • expected
    • package.ipkg
    • run
  • idrisdoc008/
    • Abstract.idr
    • Visible.idr
    • expected
    • run
    • visibility.ipkg
  • idrisdoc009/
    • Test.idr
    • expected
    • input
    • run
  • interactive001/
    • expected
    • input
    • interactive001.idr
    • run
  • interactive002/
    • expected
    • input
    • interactive002.idr
    • run
  • interactive003/
    • expected
    • input
    • interactive003.idr
    • run
  • interactive004/
    • expected
    • input
    • interactive004.idr
    • run
  • interactive005/
    • expected
    • input
    • interactive005.idr
    • run
  • interactive006/
    • expected
    • input
    • interactive006.idr
    • run
  • interactive007/
    • expected
    • input
    • run
  • interactive008/
    • expected
    • input
    • run
  • interactive009/
    • expected
    • input
    • interactive009.idr
    • run
  • interactive010/
    • expected
    • input
    • run
  • interactive011/
    • .gitignore
    • expected
    • input
    • interactive011.ipkg
    • run
    • src/
      • Foo.idr
      • Main.idr
  • interactive012/
    • expected
    • input
    • interactive012.idr
    • run
  • interactive013/
    • expected
    • input
    • interactive013.idr
    • run
  • interfaces001/
    • InterfaceName.idr
    • expected
    • input
    • run
  • interfaces002/
    • expected
    • interfaces002.idr
    • run
  • interfaces003/
    • expected
    • interfaces003.idr
    • run
  • interfaces004/
    • expected
    • interfaces004.idr
    • run
  • interfaces005/
    • expected
    • interfaces005.idr
    • interfaces005a.idr
    • interfaces005b.idr
    • run
  • interfaces006/
    • expected
    • interfaces006.idr
    • run
  • interfaces007/
    • expected
    • interfaces007.idr
    • run
  • io001/
    • expected
    • run
    • test004.idr
  • io002/
    • expected
    • run
    • test008.idr
  • io003/
    • expected
    • run
    • test018.idr
    • test018a.idr
  • layout001/
    • expected
    • layout001a.idr
    • layout001b.idr
    • layout001c.idr
    • layout001d.idr
    • layout001e.idr
    • layout001f.idr
    • layout001g.idr
    • layout001h.idr
    • layout001i.idr
    • layout001j.idr
    • layout001k.idr
    • layout001l.idr
    • layout001n.idr
    • mplus1.idr
    • mplus2.idr
    • mplus3.idr
    • run
  • literate001/
    • Lit.lidr
    • expected
    • run
    • test003.lidr
    • test003a.lidr
  • meta001/
    • Finite.idr
    • expected
    • run
  • meta002/
    • AgdaStyleReflection.idr
    • DataDef.idr
    • Deriving.idr
    • Tacs.idr
    • expected
    • run
  • meta003/
    • BadDef.idr
    • expected
    • run
  • meta004/
    • expected
    • meta004.idr
    • run
  • pkg001/
    • Main.idr
    • expected
    • run
    • test-pkg.ipkg
  • pkg002/
    • Main.idr
    • expected
    • run
    • test.ipkg
  • pkg003/
    • Main.idr
    • expected
    • run
    • test.ipkg
  • pkg004/
    • Main.idr
    • expected
    • run
    • test.ipkg
  • pkg005/
    • expected
    • run
    • test.ipkg
  • pkg006/
    • expected
    • run
    • test.ipkg
  • pkg007/
    • expected
    • input
    • run
    • toy/
      • Toy.idr
      • toy.ipkg
      • Toy/
        • Vehicle.idr
        • Vehicle/
          • Car.idr
  • pkg008/
    • expected
    • maths.ipkg
    • run
    • src/
      • NumOps.idr
      • Test.idr
  • prelude001/
    • expected
    • prelude001.idr
    • run
  • primitives001/
    • expected
    • input
    • run
    • substring.idr
    • test005.idr
  • primitives002/
    • expected
    • run
  • primitives003/
    • expected
    • run
    • test038.idr
  • primitives004-disabled/
    • expected
    • primitives004.idr
    • run
  • primitives005/
    • expected
    • primitives005.idr
    • run
  • primitives006/
    • array.c
    • array.h
    • expected
    • load-test.idr
    • run
    • Data/
      • ByteArray.idr
      • Bytes.idr
  • proof001/
    • expected
    • run
    • test029.idr
  • proof002/
    • Reflect.idr
    • expected
    • run
    • test030.idr
    • test030a.idr
  • proof003/
    • Parity.idr
    • expected
    • run
    • test015.idr
  • proof004/
    • expected
    • run
    • test035.idr
  • proof005/
    • DefaultArgSubstitutionSuccess.idr
    • expected
    • run
  • proof006/
    • DefaultArgSubstitutionSyntax.idr
    • expected
    • run
  • proof007/
    • DefaultArgUnknownName.idr
    • expected
    • run
  • proof008/
    • ClaimAndUnfocus.idr
    • expected
    • run
  • proof009/
    • expected
    • input
    • proof009.idr
    • run
  • proof010/
    • expected
    • proof010.idr
    • run
  • proof011/
    • expected
    • proof011.idr
    • proof011a.idr
    • run
  • proofsearch001/
    • expected
    • proofsearch001.idr
    • run
  • proofsearch002/
    • Process.idr
    • expected
    • proofsearch002.idr
    • run
  • proofsearch003/
    • expected
    • proofsearch003.idr
    • run
  • pruviloj001/
    • expected
    • pruviloj001.idr
    • run
  • quasiquote001/
    • QuasiquoteBasics.idr
    • expected
    • run
  • quasiquote002/
    • GoalQQuote.idr
    • expected
    • run
  • quasiquote003/
    • NoInfer.idr
    • expected
    • run
  • quasiquote004/
    • Quasiquote004.idr
    • expected
    • run
  • quasiquote005/
    • Quasiquote005.idr
    • expected
    • run
  • quasiquote006/
    • expected
    • quasiquote006.idr
    • run
  • records001/
    • expected
    • run
    • test011.idr
  • records002/
    • expected
    • record002.idr
    • run
  • records003/
    • expected
    • records003.idr
    • run
  • records004/
    • expected
    • records004.idr
    • run
  • records005/
    • expected
    • records005.idr
    • run
  • reg001/
    • Area.idr
    • TestEx.idr
    • expected
    • run
  • reg002/
    • expected
    • reg012.idr
    • run
  • reg004/
    • expected
    • reg004.idr
    • run
  • reg005/
    • expected
    • reg005.idr
    • run
  • reg007/
    • expected
    • run
  • reg013/
    • expected
    • reg013.idr
    • run
  • reg016/
    • expected
    • reg016.idr
    • run
  • reg017/
    • expected
    • reg017.idr
    • run
  • reg020/
    • expected
    • reg020.idr
    • run
  • reg024/
    • expected
    • reg024.idr
    • run
  • reg025/
    • expected
    • reg025.idr
    • run
  • reg027/
    • expected
    • reg027.idr
    • reg027a.idr
    • run
  • reg029/
    • Reg029Wrapper.java
    • expected
    • reg029.idr
    • run
  • reg031/
    • expected
    • reg031.idr
    • run
  • reg032/
    • expected
    • run
    • test028.idr
  • reg039/
    • expected
    • reg039.idr
    • run
  • reg040/
    • expected
    • reg040.idr
    • run
  • reg041/
    • expected
    • ott.idr
    • run
    • showu.idr
  • reg042/
    • expected
    • reg042.idr
    • run
  • reg045/
    • expected
    • reg045.idr
    • run
  • reg048/
    • expected
    • reg048.idr
    • run
  • reg051-disabled/
    • expected
    • reg051.idr
    • run
  • reg052/
    • expected
    • reg052.idr
    • run
  • reg067/
    • expected
    • reg067.idr
    • run
  • reg075/
    • expected
    • input
    • reg075.idr
    • run
  • reg076/
    • expected
    • input
    • reg076.idr
    • run
  • reg077/
    • expected
    • reg077.idr
    • run
  • regression001/
    • coverage001.idr
    • eff001.idr
    • expected
    • reg001.idr
    • reg002.idr
    • reg003.idr
    • reg004.lidr
    • reg005.idr
    • reg006.idr
    • reg036.idr
    • reg037.idr
    • reg038.idr
    • reg046.idr
    • reg047.idr
    • reg047a.idr
    • reg053.idr
    • reg057.idr
    • reg058.idr
    • reg058a.idr
    • reg059.idr
    • reg060.idr
    • reg061.idr
    • reg062.idr
    • reg062.lidr
    • reg063.idr
    • reg064.idr
    • reg065.idr
    • reg066.idr
    • reg071.idr
    • reg073.lidr
    • reg074.idr
    • run
  • regression002/
    • A.lidr
    • DoubleEquality.idr
    • Mod.idr
    • badbangop.idr
    • baddoublebang.idr
    • expected
    • reg003.idr
    • reg003a.idr
    • reg006.idr
    • reg007.lidr
    • reg010.idr
    • reg018a.idr
    • reg018b.idr
    • reg018c.idr
    • reg018d.idr
    • reg023.idr
    • reg028.idr
    • reg028a.idr
    • reg034.idr
    • reg035.idr
    • reg035a.lidr
    • reg035b.idr
    • reg044.idr
    • reg049.idr
    • reg054.idr
    • reg055.idr
    • reg055a.idr
    • reg056.idr
    • reg068.idr
    • reg069.idr
    • reg070.idr
    • reg076.idr
    • reg077.idr
    • run
    • working.idr
  • scripts/
    • timeout
  • sourceLocation001/
    • SourceLoc.idr
    • expected
    • run
  • sugar001/
    • expected
    • run
    • test007.idr
  • sugar002/
    • expected
    • run
    • test009.idr
  • sugar003/
    • expected
    • run
    • test013.idr
  • sugar004/
    • expected
    • run
    • sugar004.idr
  • sugar005/
    • As.idr
    • expected
    • run
  • syntax001/
    • Syntax.idr
    • SyntaxOk.idr
    • SyntaxTest.idr
    • expected
    • run
  • syntax002/
    • expected
    • run
    • syntax002.idr
  • tactics001/
    • Tactics.idr
    • expected
    • run
  • totality001/
    • expected
    • run
    • test010.idr
    • test010a.idr
    • test010b.idr
  • totality002/
    • expected
    • run
    • test017.idr
    • test017a.idr
    • test017b.idr
  • totality003/
    • expected
    • run
    • totality003.idr
    • totality003a.idr
  • totality004/
    • expected
    • run
    • totality004.idr
    • totality004a.idr
  • totality005/
    • expected
    • run
    • totality005.idr
  • totality006/
    • expected
    • run
    • totality006.idr
    • totality006a.idr
    • totality006b.idr
  • totality007/
    • expected
    • expected.msys
    • run
    • totality.ipkg
    • src/
      • Totality.idr
  • totality008/
    • expected
    • run
    • totality008.idr
  • totality009/
    • TestLambdaImpossible.idr
    • TestLambdaPossible.idr
    • TestLambdaPossible2.idr
    • expected
    • run
  • totality010/
    • expected
    • run
    • totality010.idr
  • totality011/
    • expected
    • run
    • totality011.lidr
  • totality012/
    • expected
    • run
    • totality012.idr
    • totality012a.idr
    • totality012b.idr
  • totality013/
    • expected
    • run
    • totality013.idr
    • totality013a.idr
  • totality014/
    • expected
    • run
    • totality014.idr
  • totality015/
    • expected
    • run
    • totality015.idr
    • totality015a.idr
  • totality016/
    • expected
    • run
    • totality016.idr
  • totality017/
    • expected
    • run
    • totality017.idr
  • totality018/
    • expected
    • run
    • totality018.idr
  • totality019/
    • expected
    • run
    • totality019.idr
    • totality019a.idr
  • totality020/
    • expected
    • run
    • totality020.idr
  • totality021/
    • expected
    • run
    • totality021.idr
    • totality021a.idr
  • totality022/
    • expected
    • run
    • totality022.idr
  • tutorial001/
    • expected
    • run
    • tutorial001.idr
  • tutorial002/
    • expected
    • run
    • tutorial002.idr
  • tutorial003/
    • expected
    • run
    • tutorial003.idr
  • tutorial004/
    • expected
    • run
    • tutorial004.idr
  • tutorial005/
    • expected
    • run
    • tutorial005.idr
  • tutorial006/
    • expected
    • run
    • tutorial006a.idr
    • tutorial006b.idr
    • tutorial006c.idr
  • tutorial007/
    • Providers.idr
    • expected
    • nativetypes.c
    • run
    • tutorial007.idr
  • unique001/
    • expected
    • run
    • unique001.idr
  • unique004/
    • expected
    • run
    • unique001a.idr
    • unique001b.idr
    • unique001c.idr
    • unique001d.idr
    • unique001e.idr
    • unique002.idr
    • unique002a.idr
    • unique003.idr
  • universes001/
    • expected
    • run
    • universes001.idr
  • universes002/
    • expected
    • run
    • universes002.idr
  • views001/
    • expected
    • run
    • views001.idr
    • views001a.idr
  • views002/
    • expected
    • run
    • views002.idr
  • views003/
    • expected
    • run
    • views003.idr