Directory listing for idris-0.9.17 candidate source tarball
idris-0.9.17/src/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/