GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity
WIP/rpc/feat/newtype
cryptol/cryptol-remote-api/CHANGELOG.md
Aaron Tomb f0b851ecf0
Add cryptol-remote-api (#927) 
This commit moves the `cryptol-remote-api` package from the `argo` repository to the `cryptol` repository.
2020-10-12 12:46:30 -07:00

117 B
Raw Permalink Blame History

Revision history for cryptol-server

0.1.0.0 -- YYYY-mm-dd

  • First version. Released on an unsuspecting world.