Paul Cadman

> Struggling to install ormolu on my musl system, fixed it manually in the meantime. > (nvm that wasn't it) You should be able to run `stack install ormolu` from...

> > `stack install ormolu` > > This reports `Unable to find installation URLs for OS key: linux64-custom-musl-tinfo6`. I did it on a different machine now, I'll figure this out...

Thanks @cwgoes - I believe the only missing ingredient we have with the current Juvix setup is a JSON de/serialisation capability, then we could try this.

Proposed prove and verify vamp-ir API that exports the verifying key https://github.com/anoma/vamp-ir/pull/120

Thanks for this Roman! I'll have a look over the weekend.

`git bisect` shows that the regression was introduced in https://github.com/anoma/juvix/pull/2468

Is this done?

This came up when we were writing the logic function for the simple counter application: https://github.com/anoma/juvix-anoma-stdlib/blob/dcbc80536eadc5bc9a8b45cba259a987339dd768/examples/RawCounterTransaction.juvix#L26

Project locking is necessary if we allow concurrent access to the build directory: https://github.com/anoma/juvix/issues/2812

Duplicate of https://github.com/anoma/juvix/issues/2812