mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Remove references to cryptol-server
from README
This commit is contained in:
parent
010540c4b4
commit
901a1d16ad
18
README.md
18
README.md
@ -177,24 +177,6 @@ be happy to incorporate your changes.
|
||||
well as the Cryptol sources and expected outputs that comprise that
|
||||
suite
|
||||
|
||||
### Cryptol Notebook (Experimental)
|
||||
|
||||
The ICryptol notebook interface is now a
|
||||
[standalone project](https://github.com/GaloisInc/ICryptol).
|
||||
|
||||
### Cryptol Server and pycryptol (Experimental)
|
||||
|
||||
This package includes an executable in `/cryptol-server` that provides
|
||||
an interface to the Cryptol interpreter via JSON over
|
||||
ZeroMQ. Currently this is used to support the
|
||||
[`pycryptol`](http://pycryptol.readthedocs.org/en/latest/) library. It
|
||||
is part of this package because we intend to eventually make the
|
||||
console REPL a client of that server as well. The `cryptol-server`
|
||||
executable is included in any builds if the `CRYPTOL_SERVER`
|
||||
environment variable is non-empty when running `make`, for example:
|
||||
|
||||
CRYPTOL_SERVER=1 make dist
|
||||
|
||||
# Where to Look Next
|
||||
|
||||
The `docs` directory of the installation package contains an
|
||||
|
Loading…
Reference in New Issue
Block a user