Directory listing for idris-0.9.17 source tarball
idris-0.9.17/
- LICENSE
- Makefile
- Setup.hs
- config.mk
- idris.cabal
- codegen/
- idrisdoc/
- jsrts/
- libs/
- main/
- rts/
- src/
- Target_idris.hs
- Version_idris.hs
- IRTS/
- 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
- Docs.hs
- Docstrings.hs
- ElabDecls.hs
- ElabQuasiquote.hs
- ElabTerm.hs
- Erasure.hs
- ErrReverse.hs
- Error.hs
- Help.hs
- IBC.hs
- IdeMode.hs
- IdrisDoc.hs
- Imports.hs
- Inliner.hs
- Interactive.hs
- Output.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
- Reflection.hs
- Transforms.hs
- TypeSearch.hs
- Unlit.hs
- WhoCalls.hs
- Core/
- Elab/
- Pkg/
- Util/
- test/
- Makefile
- runtest.pl
- basic001/
- basic002/
- basic003/
- basic004/
- basic005/
- basic006/
- basic007/
- basic008/
- basic009/
- basic010/
- basic011/
- basic012/
- buffer001-disabled/
- delab001/
- docs001/
- docs002/
- docs003/
- dsl001/
- dsl002/
- dsl003/
- effects001/
- effects002/
- effects003/
- error001/
- error002/
- error003/
- error004/
- error005/
- ffi001/
- ffi002/
- ffi003/
- ffi004/
- ffi005/
- ffi006/
- idrisdoc001/
- idrisdoc002/
- idrisdoc003/
- idrisdoc004/
- idrisdoc005/
- idrisdoc006/
- idrisdoc007/
- idrisdoc008/
- idrisdoc009/
- interactive001/
- interactive002/
- interactive003/
- interactive004/
- interactive005/
- interactive006/
- interactive007/
- io001/
- io002/
- io003/
- literate001/
- primitives001/
- primitives002/
- primitives003/
- proof001/
- proof002/
- proof003/
- proof004/
- proof008/
- quasiquote001/
- quasiquote002/
- quasiquote003/
- quasiquote004/
- quasiquote005/
- records001/
- records002/
- records003/
- reg001/
- reg002/
- reg003/
- reg004/
- reg005/
- reg006/
- reg007/
- reg009/
- reg010/
- reg011/
- reg012/
- reg013/
- reg014/
- reg015/
- reg016/
- reg017/
- reg018/
- reg019/
- reg020/
- reg021/
- reg022/
- reg023/
- reg024/
- reg025/
- reg026/
- reg027/
- reg028/
- reg029/
- reg030/
- reg031/
- reg032/
- reg033/
- reg034/
- reg035/
- reg036/
- reg037/
- reg038/
- reg039/
- reg040/
- reg041/
- reg042/
- reg044/
- reg045/
- reg046/
- reg047/
- reg048/
- reg049/
- reg050/
- reg051-disabled/
- reg052/
- reg053/
- reg054/
- reg055/
- reg056/
- reg057/
- reg058/
- reg059/
- reg060/
- sourceLocation001/
- sugar001/
- sugar002/
- sugar003/
- sugar004/
- sugar005/
- tactics001/
- totality001/
- totality002/
- totality003/
- totality004/
- totality005/
- totality006/
- totality007/
- totality008/
- tutorial001/
- tutorial002/
- tutorial003/
- tutorial004/
- tutorial005/
- tutorial006/
- unique001/
- unique002/
- unique003/