Las

The issue is that HVM is fundamentally unusable for most functional programming languages unless this is fixed at its root. Supporting the full LC is not a necessity, but when...

Related: Currently you need the circuit to read the VerifyingKey, which seems counterintuitive to me. Is there any chance this limitation could be lifted, such that you don't need the...

Color is on?

FWIW I think downloads and builds are considered the same by Nix

How come you cancelled CI?

Is this still relevant?

The ordering of the constructors doesn't necessarily affect the efficiency of the script. Checking the index is always O(log index).

Is there any reason why we need this instead of just catching errors that happen due to not being able to build a drv and omitting those parts of the...

I've posted a link to a fork in the summary where I've added goldens for the test. Another link: https://github.com/mlabs-haskell/plutus/commit/eee1404aae86594fae0b604a058bbac7e79c295a#diff-1eec071a1e24882fcf29911ff286bec003f983927819ae99ad431fdf75867799 It's a Haskell program.

This would be immensely useful as a solution to #3711.