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

Add some information about `#` and `*` to the reference manual #1711

Open yav opened 3 months ago

yav commented 3 months ago

It would appear these are not mentioned anywhere, but they show up in error messages as well as module parameter declarations