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

Fixes #1490 #1678

Closed yav closed 5 months ago

yav commented 5 months ago

Remove defaulting warning in the Prelude