IntersectMBO / plutus

The Plutus language implementation and tools

plutus: Make it build with ghc-9.8

erikd opened this issue 9 months ago · comments

Erik de Castro Lopo commented 9 months ago

plutus: Make it build with ghc-9.8

Erik de Castro Lopo commented 7 months ago

Draft WIP PR is #5564

Erik de Castro Lopo commented 6 months ago

PR has been merged.