Iavor Diatchki
|
39acf61ee5
|
Update documentation with info about floats + fractional literals
|
2020-07-14 15:36:37 -07:00 |
|
Rob Dockins
|
2cb904ec46
|
Update documentation
|
2020-05-15 15:28:44 -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 |
|
Brian Huffman
|
951eacc8ff
|
Fix some index entry names in the book.
|
2018-07-24 13:03:32 -07:00 |
|
Brian Huffman
|
eef8924dfe
|
Update operator names in Cryptol book index.
|
2018-07-20 09:00:29 -07:00 |
|
Brian Huffman
|
6201415c66
|
Remove index entries and text about non-existent :i, :p commands.
|
2018-07-20 08:28:35 -07:00 |
|
Adam C. Foltzer
|
2c428804bc
|
remove splitBy and update documentation
Closes #291
|
2016-07-05 09:58:49 -07:00 |
|
Adam C. Foltzer
|
ba0a0e8576
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
|