4 Commits

Author	SHA1	Message	Date
Brian Huffman	7da982ab2d	Update old cryptol-1 syntax in example code.	2019-06-20 10:54:06 -07:00
Brian Huffman	030349f6de	Fix outdated usage of value-level function width in Cryptol book. ... It is now called `length` and has a generalized type. Cf. #549.	2019-06-20 10:47:40 -07:00
Dylan McNamee	623b847094	merging changes to docs	2016-04-19 11:41:55 -07:00
Adam C. Foltzer	ba0a0e8576	Initial import from internal repo	2014-04-17 15:34:25 -07:00