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

Directory listing for idris-0.9.9.2 source tarball

idris-0.9.9.2/

• LICENSE
• Makefile
• Setup.hs
• config.mk
• idris.cabal
• effects/
  • Effects.idr
  • Makefile
  • effects.ipkg
  • Effect/
    • Exception.idr
    • File.idr
    • Memory.idr
    • Random.idr
    • Select.idr
    • State.idr
    • StdIO.idr
• java/
  • executable_pom.xml
  • executable_pom_template.xml
• javascript/
  • JavaScript.idr
  • Makefile
  • javascript.ipkg
  • JavaScript/
    • JSON.idr
• js/
  • Runtime-browser.js
  • Runtime-common.js
  • Runtime-node.js
• lib/
  • Builtins.idr
  • IO.idr
  • Makefile
  • Prelude.idr
  • Providers.idr
  • System.idr
  • Uninhabited.idr
  • base.ipkg
  • Control/
    • Arrow.idr
    • Catchable.idr
    • Category.idr
    • IOExcept.idr
    • Monad/
      • Identity.idr
      • State.idr
  • Data/
    • Bits.idr
    • BoundedList.idr
    • HVect.idr
    • Mod2.idr
    • Morphisms.idr
    • Sign.idr
    • SortedMap.idr
    • SortedSet.idr
    • Vect.idr
    • ZZ.idr
    • Vect/
      • Quantifiers.idr
  • Debug/
    • Trace.idr
  • Decidable/
    • Decidable.idr
    • Equality.idr
    • Order.idr
  • Language/
    • Reflection.idr
    • Reflection/
      • Utils.idr
  • Network/
    • Cgi.idr
  • Prelude/
    • Algebra.idr
    • Applicative.idr
    • Cast.idr
    • Chars.idr
    • Complex.idr
    • Either.idr
    • Fin.idr
    • Foldable.idr
    • Functor.idr
    • Heap.idr
    • List.idr
    • Maybe.idr
    • Monad.idr
    • Nat.idr
    • Strings.idr
    • Traversable.idr
    • Vect.idr
  • System/
    • Concurrency/
      • Process.idr
      • Raw.idr
• llvm/
  • Makefile
  • defs.c
• rts/
  • Makefile
  • idris_bitstring.c
  • idris_bitstring.h
  • idris_gc.c
  • idris_gc.h
  • idris_gmp.c
  • idris_gmp.h
  • idris_heap.c
  • idris_heap.h
  • idris_main.c
  • idris_opts.c
  • idris_opts.h
  • idris_rts.c
  • idris_rts.h
  • idris_stats.c
  • idris_stats.h
  • idris_stdfgn.c
  • idris_stdfgn.h
  • libtest.c
• src/
  • Main.hs
  • Core/
    • CaseTree.hs
    • Constraints.hs
    • CoreParser.hs
    • Elaborate.hs
    • Evaluate.hs
    • Execute.hs
    • ProofShell.hs
    • ProofState.hs
    • ShellParser.hs
    • TT.hs
    • Typecheck.hs
    • Unify.hs
  • IRTS/
    • BCImp.hs
    • Bytecode.hs
    • CodegenC.hs
    • CodegenCommon.hs
    • CodegenJava.hs
    • CodegenJavaScript.hs
    • CodegenLLVM.hs
    • Compiler.hs
    • Defunctionalise.hs
    • DumpBC.hs
    • Inliner.hs
    • LParser.hs
    • Lang.hs
    • Simplified.hs
    • Java/
      • ASTBuilding.hs
      • JTypes.hs
      • Mangling.hs
  • Idris/
    • AbsSyntax.hs
    • AbsSyntaxTree.hs
    • Chaser.hs
    • Colours.hs
    • Completion.hs
    • Coverage.hs
    • DSL.hs
    • DataOpts.hs
    • Delaborate.hs
    • Docs.hs
    • ElabDecls.hs
    • ElabTerm.hs
    • Error.hs
    • Help.hs
    • IBC.hs
    • IdeSlave.hs
    • Imports.hs
    • Inliner.hs
    • Parser.hs
    • PartialEval.hs
    • Primitives.hs
    • Prover.hs
    • Providers.hs
    • REPL.hs
    • REPLParser.hs
    • Transforms.hs
    • Unlit.hs
    • UnusedArgs.hs
  • Pkg/
    • PParser.hs
    • Package.hs
  • Util/
    • DynamicLinker.hs
    • LLVMStubs.hs
    • Pretty.hs
    • System.hs
• test/
  • Makefile
  • runtest.pl
  • reg001/
    • expected
    • reg001.idr
    • run
  • reg002/
    • expected
    • reg002.idr
    • run
  • reg003/
    • expected
    • reg003.idr
    • reg003a.idr
    • run
  • reg004/
    • expected
    • reg004.idr
    • run
  • reg005/
    • expected
    • reg005.idr
    • run
  • reg006/
    • expected
    • reg006.idr
    • run
  • reg007/
    • A.lidr
    • expected
    • reg007.lidr
    • run
  • reg008/
    • expected
    • reg008.idr
    • run
  • reg009/
    • expected
    • reg009.lidr
    • run
  • reg010/
    • expected
    • reg010.idr
    • run
  • reg011/
    • expected
    • reg011.idr
    • run
  • reg012/
    • expected
    • reg012.lidr
    • run
  • reg013/
    • expected
    • reg013.idr
    • run
  • reg014/
    • expected
    • reg014.idr
    • run
  • reg015/
    • expected
    • reg015.idr
    • run
  • reg016/
    • expected
    • reg016.idr
    • run
  • reg017/
    • expected
    • reg017.idr
    • run
  • reg018/
    • expected
    • reg018a.idr
    • reg018b.idr
    • reg018c.idr
    • reg018d.idr
    • run
  • reg019/
    • expected
    • reg019.idr
    • run
  • reg020/
    • expected
    • reg020.idr
    • run
  • test001/
    • expected
    • run
    • test001.idr
  • test002/
    • expected
    • run
    • test002.idr
  • test003/
    • Lit.lidr
    • expected
    • run
    • test003.lidr
    • test003a.lidr
  • test004/
    • expected
    • run
    • test004.idr
  • test005/
    • expected
    • run
    • test005.idr
  • test006/
    • expected
    • run
    • test006.idr
  • test007/
    • expected
    • run
    • test007.idr
  • test008/
    • expected
    • run
    • test008.idr
  • test009/
    • expected
    • run
    • test009.idr
  • test010/
    • expected
    • run
    • test010.idr
    • test010a.idr
    • test010b.idr
  • test011/
    • expected
    • run
    • test011.idr
  • test012/
    • expected
    • run
    • test012a.idr
  • test013/
    • expected
    • run
    • test013.idr
  • test014/
    • Resimp.idr
    • expected
    • run
    • test
    • test014.idr
  • test015/
    • Parity.idr
    • expected
    • run
    • test015.idr
  • test016/
    • expected
    • run
    • test016.idr
  • test017/
    • expected
    • run
    • test017.idr
    • test017a.idr
    • test017b.idr
  • test018/
    • expected
    • run
    • test018.idr
    • test018a.idr
  • test019/
    • expected
    • run
    • test019.lidr
  • test020/
    • expected
    • run
    • test020.idr
    • test020a.idr
  • test021/
    • expected
    • run
    • test021.idr
    • test021a.idr
    • testFile
  • test022/
    • expected
    • run
    • test022.idr
  • test023/
    • expected
    • run
    • test.idr
    • test023.idr
  • test024/
    • expected
    • input
    • run
    • test024.idr
  • test025/
    • expected
    • run
    • test025.idr
  • test026/
    • expected
    • input
    • run
    • test026.idr
    • theOtherType
    • theType
  • test027/
    • expected
    • run
    • test027.idr
  • test028/
    • expected
    • run
    • test028.idr
  • test029/
    • expected
    • run
    • test029.idr
  • test030/
    • Reflect.idr
    • expected
    • run
    • test030.idr
    • test030a.idr
• tutorial/
  • examples/
    • binary.idr
    • bmain.idr
    • btree.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
    • wheres.idr