[Builtins] Drop 'val' from 'KnownType' stuff#4499
Closed
effectfully wants to merge 11 commits intomasterfrom effectfully/builtins/drop-val-from-KnownType-stuff
+110-88
Commits
Commits on Mar 23, 2022
Commits on Mar 24, 2022
- committed
- committed
Commits on Apr 7, 2022
Merge branch 'master' of https://github.com/input-output-hk/plutus into effectfully/builtins/drop-val-from-KnownType-stuff
committed- committed
- committed
- committed