Paul Cadman

> > I included the `lens` library because it has the functions that I needed and it was easier for me this way. Then we have two options, we use...

What does Haskell do? We should copy its behaviour.

* Closed by https://github.com/anoma/juvix-stdlib/pull/119

This has the same cause as: * https://github.com/anoma/juvix/issues/2877

> On this note, we should add a pragma that would indicate that a certain identifier is "volatile" to prevent the optimisations from moving it around, duplicating and/or merging calls...

Link to discussed issue: * https://github.com/anoma/juvix/issues/2907

> Does `randomBytes : Nat -> Bytes` fit with the [arm-transparent definitions](https://github.com/anoma/juvix-arm-transparent/blob/b5e88b0817912e8f2d867c8eef49585e0afaa397/Anoma/Resource/Types.juvix#L26-L32) > > ```agda > type Nonce := mkNonce {unNonce : Nat}; > type RandSeed := mkRandSeed {unRandSeed :...

> Why is returning false the desired semantics here? I'm not sure if it's desired but this is how it's defined in the corresponding GRPC definition: https://github.com/anoma/anoma/blob/6b1e3cae5db718abe0eddc03c0a934b1b29346ba/apps/anoma_protobuf/priv/protobuf/intents/verify.proto#L11 i.e if the...

@paulcadman update this

@jonaprieto is this still an issue? Could you provide a link to an example project and reproduction steps that demonstrates this problem?