mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-10-05 18:08:04 +03:00
Updated Home (markdown)
parent
8d342c5b81
commit
8501d0ed0e
6
Home.md
6
Home.md
@ -1 +1,5 @@
|
||||
Welcome to the cryptol wiki!
|
||||
Cryptol: A Domain Specific Language for Cryptography
|
||||
====================================================
|
||||
|
||||
|
||||
* [Some notes on the Semantics of Cryptol](CryptolSemantics)
|
||||
|
Loading…
Reference in New Issue
Block a user