Closed Niols closed 1 year ago
The current PR is here so that we can run the CI and observe. It should never be merged (and therefore it should never leave the draft state). The actual PR that should be merged targets @gabrielhdt's PR https://github.com/tweag/plutus-libs/pull/187. You can find it here: https://github.com/gabrielhdt/plutus-libs/pull/1.
cf #187 and #208