search

BlockstreamResearch / simfony

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

Update examples #10

Closed uncomputable closed 6 months ago

uncomputable commented 6 months ago

Use the new syntax and single input/output jets.

The examples will be tested once we can handle witness data (#9) and once the jets are defined (https://github.com/BlockstreamResearch/simplicity/pull/224).

apoelstra commented 6 months ago

Nice!

utACK.

I guess the extensions on all these ought to be .simf rather than .simpl.

uncomputable commented 6 months ago

The utACK is missing a git revision, but I will merge anyway.