Convert Types - Githubissues

BlockstreamResearch / rust-simplicity

Creative Commons Zero v1.0 Universal

58 stars 12 forks source link

Convert Types #218

Closed uncomputable closed 3 months ago

uncomputable commented 3 months ago

Convert finalized types to unfinalized ones, for use during unification.