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 123 forks source link

Enhance TypeChecker with exponent rules #1713

Closed mccleeary-galois closed 2 months ago

mccleeary-galois commented 2 months ago

Closes #1489