Since built-ins evolve quite a bit in the plutus compiler, we want the language (syntax and semantics) to be parametrised by the built-ins.
It would be good to split out the syntax, semantics and any proofs such as semantic preservation. One way would be to do this by adding type parameters in the right places. Have yet to figure this out more precisely.
Since built-ins evolve quite a bit in the plutus compiler, we want the language (syntax and semantics) to be parametrised by the built-ins.
It would be good to split out the syntax, semantics and any proofs such as semantic preservation. One way would be to do this by adding type parameters in the right places. Have yet to figure this out more precisely.