docs: Create Version3Changes
to describe syntax changes between Cryptol 2 and 3
#1546
Labels
docs
LaTeX, markdown, literate haskell, or in-REPL documentation
We have a
Version2Changes
document that provides a quick, high-level description of all the syntactic changes between Cryptol versions 1 and 2, along with suggestions on how to migrate Cryptol 1 code to work with Cryptol 2. We should have a similarVersion3Changes
document for migrating from Cryptol 2 to 3. The only changes I can think of at the moment which would warrant mention are:-
The text was updated successfully, but these errors were encountered: