Expressive human - Githubissues

BlockstreamResearch / rust-simplicity

Creative Commons Zero v1.0 Universal

58 stars 12 forks source link

Expressive human #213

Closed uncomputable closed 4 months ago

uncomputable commented 5 months ago

Finalize expressions (including non-programs) from the human encoding.

The finalization on master forces the root node to be 1→ 1.

The finalization of this PR allows root nodes whose type A → B is fixed by constraints inside the expression.

Todo

[ ] Move the expression finalization into a separate "dangerous" method
[ ] Resolve free variables in root type to unit (in case the root type is not fully fixed)