mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
These examples weren't type checking, and now do, with type constraints that are no more awkward, and arguably less awkward, than before. |
||
---|---|---|
.. | ||
contrib | ||
funstuff | ||
maliciousSHA | ||
MiniLock | ||
AES.cry | ||
ChaChaPolyCryptolIETF.md | ||
Cipher.cry | ||
DES.cry | ||
DEStest.cry | ||
FNV-a1.cry | ||
Salsa20.cry | ||
SHA1.cry | ||
SIV-rfc5297.md | ||
Test.cry | ||
TripleDES.cry | ||
ZUC.cry |