You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Good catch! My apologies for not noticing this when bumping the major version number.
I've done a quick pass over the README and submitted #1543 with some fixes. It's possible that there are some things I've missed, however, so do let me know if there are other things you see that slipped through the cracks.
https://github.com/GaloisInc/cryptol#cryptol-version-2
The text was updated successfully, but these errors were encountered: