Explaining different notions of version in the doc

[zliu41]

The different notions of version has been very confusing.

Michael Peyton Jones wrote an explanation in this doc: The many versions of Cardano and Plutus

We should polish it and move it to our RTD site.

It would be nice to have a table showing which Plutus language version and which Plutus Core version is enabled at which Protocol Version.

Extricated from https://input-output.atlassian.net/browse/PLT-9541

[zliu41]

Kenneth MacKenzie
April 24, 2024 at 2:10 PM

See also Chapter 4 of the Plutus Core specification. However, I think that needs to be updated. It says that the builtin semantics variant depends only on the ledger language, but with the updates in the multiple cost models PR it'll depend on the protocol version too.