Directory listing for idris-0.9.10 candidate source tarball
idris-0.9.10/
- LICENSE
- Makefile
- Setup.hs
- config.mk
- idris.cabal
- jsrts/
- libs/
- llvm/
- rts/
- src/
- Main.hs
- Core/
- IRTS/
- Idris/
- AbsSyntax.hs
- AbsSyntaxTree.hs
- CaseSplit.hs
- Chaser.hs
- Colours.hs
- Completion.hs
- Coverage.hs
- DSL.hs
- DataOpts.hs
- DeepSeq.hs
- Delaborate.hs
- Docs.hs
- ElabDecls.hs
- ElabTerm.hs
- Error.hs
- Help.hs
- IBC.hs
- IdeSlave.hs
- Imports.hs
- Inliner.hs
- ParseData.hs
- ParseExpr.hs
- ParseHelpers.hs
- ParseOps.hs
- Parser.hs
- PartialEval.hs
- Primitives.hs
- ProofSearch.hs
- Prover.hs
- Providers.hs
- REPL.hs
- REPLParser.hs
- Transforms.hs
- Unlit.hs
- UnusedArgs.hs
- Pkg/
- Util/
- test/
- Makefile
- runtest.pl
- reg001/
- reg002/
- reg003/
- reg004/
- reg005/
- reg006/
- reg007/
- reg008/
- reg009/
- reg010/
- reg011/
- reg012/
- reg013/
- reg014/
- reg015/
- reg016/
- reg017/
- reg018/
- reg019/
- reg020/
- reg021/
- reg022/
- reg023/
- reg024/
- test001/
- test002/
- test003/
- test004/
- test005/
- test006/
- test007/
- test008/
- test009/
- test010/
- test011/
- test012/
- test013/
- test014/
- test015/
- test016/
- test017/
- test018/
- test019/
- test020/
- test021/
- test022/
- test023/
- test024/
- test025/
- test026/
- test027/
- test028/
- test029/
- test030/
- test031/
- test032/
- test033/
- test034/
- tutorial/