search

BlockstreamResearch / simfony

Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.
19 stars 6 forks source link

Tuple values #52

Closed uncomputable closed 2 months ago

uncomputable commented 2 months ago

Depends on #51

Make tuple values constructible in the Simfony grammar. Remove units and products as they are subsumed by tuples (0-tuples and 2-tuples, respectively). Add tuple patterns.

uncomputable commented 2 months ago

Rebased