cryptol
Cryptol: The Language of Cryptography
Version on this page: | 2.2.5 |
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.2.5@sha256:1ced70abfc60198f5b14dc8f2508e71592b3656a0efb1e1915406d4dedcf0205,7258
Module documentation for 2.2.5
- Cryptol
- Cryptol.Eval
- Cryptol.ModuleSystem
- Cryptol.Parser
- Cryptol.Prims
- Cryptol.REPL
- Cryptol.Symbolic
- Cryptol.Testing
- Cryptol.Transform
- Cryptol.TypeCheck
- Cryptol.TypeCheck.AST
- Cryptol.TypeCheck.Defaulting
- Cryptol.TypeCheck.Depends
- Cryptol.TypeCheck.Infer
- Cryptol.TypeCheck.InferTypes
- Cryptol.TypeCheck.Instantiate
- Cryptol.TypeCheck.Kind
- Cryptol.TypeCheck.Monad
- Cryptol.TypeCheck.PP
- Cryptol.TypeCheck.Solve
- Cryptol.TypeCheck.Solver
- Cryptol.TypeCheck.Solver.Class
- Cryptol.TypeCheck.Solver.CrySAT
- Cryptol.TypeCheck.Solver.Eval
- Cryptol.TypeCheck.Solver.FinOrd
- Cryptol.TypeCheck.Solver.InfNat
- Cryptol.TypeCheck.Solver.Interval
- Cryptol.TypeCheck.Solver.Numeric
- Cryptol.TypeCheck.Solver.Selector
- Cryptol.TypeCheck.Solver.Smtlib
- Cryptol.TypeCheck.Solver.Utils
- Cryptol.TypeCheck.Subst
- Cryptol.TypeCheck.TypeMap
- Cryptol.TypeCheck.TypeOf
- Cryptol.TypeCheck.Unify
- Cryptol.Utils
- Cryptol.Version
Depends on 28 packages(full list with versions):
Used by 1 package in nightly-2015-10-07(full list with versions):