search

BlockstreamResearch / simfony

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

Value cleanup #47

Closed uncomputable closed 2 months ago

uncomputable commented 2 months ago

Cleanup of the value / type infrastructure in preparation of adding proper Simfony values to the code base.