cryptol/examples
Aaron Tomb 49e847387e Simplify some type signatures in examples
These examples weren't type checking, and now do, with type constraints
that are no more awkward, and arguably less awkward, than before.
2017-06-22 10:09:13 -07:00
..
contrib Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
funstuff Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
maliciousSHA More precise definition of chunks 2017-03-27 16:37:55 -07:00
MiniLock Simplify some type signatures in examples 2017-06-22 10:09:13 -07:00
AES.cry Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
ChaChaPolyCryptolIETF.md Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
Cipher.cry Update copyright dates and add missing headers 2016-01-19 18:19:35 -08:00
DES.cry Remove trailing whitespace 2016-02-19 10:08:20 -08:00
DEStest.cry Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
FNV-a1.cry Update copyright dates and add missing headers 2016-01-19 18:19:35 -08:00
Salsa20.cry Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
SHA1.cry Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00
SIV-rfc5297.md Update the SIV example to avoid issue #375. 2016-08-23 14:08:15 -07:00
Test.cry Update copyright dates and add missing headers 2016-01-19 18:19:35 -08:00
TripleDES.cry remove splitBy and update documentation 2016-07-05 09:58:49 -07:00
ZUC.cry Update examples to use (/\) instead of (&&) where appropriate, 2016-08-22 18:14:44 -07:00