Yura

> Does this PR include the function for generating the blueprint? I was expecting to see something like `mkBlueprint :: CompiledCode (Datum -> Redeemer -> ScriptContext -> Bool) -> ContractBlueprint`...

> To use it, one must instantiate `types` with a type-level list, which they have to construct manually. The idea is that in the minimal implementation users supply a list...

> I believe you pass in source globs like so: `purs compile "src/**/*.purs" ".spago/*/*/src/**/*.purs"` Right, so this explains how to make a module available for the compiler. The only remaining...

I have this error when starting `nix develop` shell on this branch: ``` yura@fractal  ~/projects/cardano-addresses   erikd/ghc-9.2  nix develop error: … while evaluating the attribute 'packages' at...

+ `cabal format` inlines `common` stanzas but `cabal-fmt` doen't

In the meantime I wrote it myself: https://github.com/tricycle/elm-parse-dont-validate

Thanks @shajra for a detailed explanation! Fun fact: I evaluated Lorri first, lacked that feature and decided to give a try to Lorelei hoping that it can pass arguments and...

I don't quite understand this suggestion: > Would it not be better to get the needed type class added to `ouroborous-consensus` ? If you're referring to the `TranslateProto` class then...

I don't care about screencloud anymore, since screencloud doesn't care about reported issues.

Thanks for reporting! I will be looking into it soon, stay tuned.