search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Prove eval₂ #54

Closed vikraman closed 3 years ago

inexxt commented 3 years ago

Blocked by #9 and #59

vikraman commented 3 years ago

Blocked by #31

inexxt commented 3 years ago

Closing, separate issues were created - #79 and #80