Add builtin versioning infrastructure to metatheory

IntersectMBO / plutus

The Plutus language implementation and tools

Apache License 2.0

1.56k stars 473 forks source link

Open bezirg opened 3 months ago

bezirg commented 3 months ago

Similar to what we do in plutus-core with builtinsemanticsvariant.

bezirg commented 3 months ago

This is not yet implemented, right ? @ana-pantilie @ramsay-t