idris
Functional Programming Language with Dependent Types
Version on this page: | 0.11 |
LTS Haskell 16.31: | 1.3.3 |
Stackage Nightly 2018-03-10: | 1.2.0 |
Latest on Hackage: | 1.3.4 |
Maintained by Edwin Brady
This version can be pinned in stack with:
idris-0.11@sha256:9262c880d307675137100d1e9a9e28292cb19b66974a6e468edb496e0093daca,43437
Module documentation for 0.11
- IRTS
- Idris
- Idris.ASTUtils
- Idris.AbsSyntax
- Idris.AbsSyntaxTree
- Idris.Apropos
- Idris.CaseSplit
- Idris.Chaser
- Idris.CmdOptions
- Idris.Colours
- Idris.Completion
- Idris.Core
- Idris.Coverage
- Idris.DSL
- Idris.DataOpts
- Idris.DeepSeq
- Idris.Delaborate
- Idris.Directives
- Idris.Docs
- Idris.Docstrings
- Idris.Elab
- Idris.ElabDecls
- Idris.Erasure
- Idris.ErrReverse
- Idris.Error
- Idris.Help
- Idris.IBC
- Idris.IdeMode
- Idris.IdrisDoc
- Idris.Imports
- Idris.Inliner
- Idris.Interactive
- Idris.Output
- Idris.Parser
- Idris.PartialEval
- Idris.Primitives
- Idris.ProofSearch
- Idris.Prover
- Idris.Providers
- Idris.REPL
- Idris.Reflection
- Idris.Transforms
- Idris.TypeSearch
- Idris.Unlit
- Idris.WhoCalls
- Pkg
- Util
Depends on 40 packages(full list with versions):
annotated-wl-pprint, ansi-terminal, ansi-wl-pprint, async, base, base64-bytestring, binary, blaze-html, blaze-markup, bytestring, cheapskate, containers, deepseq, directory, filepath, fingertree, fsnotify, haskeline, idris, mtl, network, optparse-applicative, parsers, pretty, process, safe, split, terminal-size, text, time, transformers, transformers-compat, trifecta, uniplate, unix, unordered-containers, utf8-string, vector, vector-binary-instances, zip-archive
Used by 1 package in nightly-2016-04-29(full list with versions):