cryptol
Cryptol: The Language of Cryptography
Version on this page: | 2.4.0@rev:1 |
LTS Haskell 8.24: | 2.4.0@rev:1 |
Stackage Nightly 2017-10-02: | 2.5.0@rev:1 |
Latest on Hackage: | 3.2.0 |
Maintained by [email protected]
This version can be pinned in stack with:
cryptol-2.4.0@sha256:2bee5fb1a197ddde354e17c2b8b4f3081f005a133efe1eb2a021cedfd3b154f1,10046
Module documentation for 2.4.0
- Cryptol
- Cryptol.Eval
- Cryptol.ModuleSystem
- Cryptol.Parser
- Cryptol.Prims
- Cryptol.REPL
- Cryptol.Symbolic
- Cryptol.Testing
- Cryptol.Transform
- Cryptol.TypeCheck
- Cryptol.TypeCheck.AST
- Cryptol.TypeCheck.Depends
- Cryptol.TypeCheck.Infer
- Cryptol.TypeCheck.InferTypes
- Cryptol.TypeCheck.Instantiate
- Cryptol.TypeCheck.Kind
- Cryptol.TypeCheck.Monad
- Cryptol.TypeCheck.PP
- Cryptol.TypeCheck.Sanity
- Cryptol.TypeCheck.Solve
- Cryptol.TypeCheck.Solver
- Cryptol.TypeCheck.Solver.Class
- Cryptol.TypeCheck.Solver.CrySAT
- Cryptol.TypeCheck.Solver.InfNat
- Cryptol.TypeCheck.Solver.Numeric
- Cryptol.TypeCheck.Solver.Numeric.AST
- Cryptol.TypeCheck.Solver.Numeric.Defined
- Cryptol.TypeCheck.Solver.Numeric.Fin
- Cryptol.TypeCheck.Solver.Numeric.ImportExport
- Cryptol.TypeCheck.Solver.Numeric.Interval
- Cryptol.TypeCheck.Solver.Numeric.NonLin
- Cryptol.TypeCheck.Solver.Numeric.SMT
- Cryptol.TypeCheck.Solver.Numeric.Simplify
- Cryptol.TypeCheck.Solver.Numeric.Simplify1
- Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr
- Cryptol.TypeCheck.Solver.Selector
- Cryptol.TypeCheck.Solver.Simplify
- Cryptol.TypeCheck.Solver.Utils
- Cryptol.TypeCheck.Subst
- Cryptol.TypeCheck.TypeMap
- Cryptol.TypeCheck.TypeOf
- Cryptol.TypeCheck.Unify
- Cryptol.Utils
- Cryptol.Version
Depends on 33 packages(full list with versions):
ansi-terminal, array, async, base, base-compat, bytestring, containers, cryptol, deepseq, directory, filepath, gitrev, GraphSCC, haskeline, heredoc, monad-control, monadLib, old-time, presburger, pretty, process, QuickCheck, random, sbv, simple-smt, smtLib, syb, template-haskell, text, tf-random, transformers, transformers-base, utf8-string
Used by 1 package in lts-7.24(full list with versions):