GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-29 01:45:36 +03:00
Code Issues Projects Releases Wiki Activity

more exports

Browse Source
This commit is contained in:
Adam C. Foltzer 2015-06-12 13:59:19 -07:00
parent 53201d7ac3
commit f22cbdc4eb
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Cryptol/REPL/Command.hs
View File

@ -27,6 +27,11 @@ module Cryptol.REPL.Command (
, replEvalExpr
, replCheckExpr
-- Check, SAT, and prove
, qcCmd, QCMode(..)
, satCmd
, proveCmd
-- Misc utilities
, handleCtrlC
, sanitize