Directory listing for idris-1.2.0 candidate source tarball
idris-1.2.0/src/
- .ghci
- Target_idris.hs
- Tools_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
- 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
- Options.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/
- Elab/
- Info/
- Package/
- Parser/
- REPL/
- Util/