Las

Add let binding to UPLC?

15

### Describe the feature you'd like Currently, in Plutarch (and I assume same for PlutusTx), we're emulating let bindings `let x = y; z` as `(\x -> z) y`, but...

Non-existing snarkyjs commit referenced in xmas-sprint branch

4

See https://github.com/Trivo25/mina-zk-rollup/tree/ca01fbf1c8d547fd5a69f1befff67f2a6df82d99/src https://github.com/o1-labs/snarkyjs/tree/129a35c387d750f661d8635b70e141a297496cd7 doesn't exist

[FR]: Ability to build without vcpkg (for Nix support)

5

**Is your feature request related to a problem? Please describe.** It would be great if there was a Nix expression (for Mac and Linux) to easily build this. vcpkg is...

Make SDL work on wlc (wl_registry@2: error 0: invalid version for global wl_data_device_manager (4): have 2, wanted 3)

10

I don't exactly know how these versions work and all that (not much info on the web), but it seems to be related to wlc/src/compositor/seat/data.c line 174 and line 235....

Question: Will Sixten support specifying erasure like Idris 2?

3

Are you planning to support specifying erasure, e.g. like `(0 _ : x = y) -> x -> y`.

It seems like the API doesn't support memory64, in that `idxtype` isn't available.

Use C++ modules

1

Perhaps a duplicate issue. C++ modules seem objectively better than headers. Perhaps some of the stuff that Nix does with headers can't be replicated with modules but it seems like...

### Is there an existing issue for this? - [X] I have searched the existing issues ### Platform Linux ### App version _No response_ ### Feature I'm trying to build...

Fetch `networkId` automatically from GraphQL endpoint

3

That way when using custom networks you don't have to set the salt for both account update hashing and signatures manually.

[pre-MIP] Reset action states when action state precondition is set

1

Right now AFAIU (although I haven't tested it), you could set the precondition to s1, then again to s4, which is very unintuitive and could break zkapps depending on it...