search

GaloisInc / cryptol

Cryptol: The Language of Cryptography
https://galoisinc.github.io/cryptol/master/RefMan.html
BSD 3-Clause "New" or "Revised" License
1.14k stars 126 forks source link

The reference manual doesn't describe properties #1634

Open sauclovian-g opened 9 months ago

sauclovian-g commented 9 months ago

find docs/RefMan -path docs/RefMan/_build -prune -o -type f -print | xargs grep -i property matches only in the keyword list in BasicSyntax.rst.

Something should probably get written sometime.

sauclovian-g commented 9 months ago

It also only mentions typeclasses once in passing (in connection with newtypes).