Add type casts - Githubissues

BlockstreamResearch / simfony

Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.

19 stars 6 forks source link

Closed uncomputable closed 1 month ago

uncomputable commented 1 month ago

Depends on #64

Add type casts based on structural type equality.

uncomputable commented 1 month ago

Rebased and ready for review

uncomputable commented 1 month ago

Ran rustfmt. Sorry for forgetting that.