vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Fill in Conjectures #47

Closed inexxt closed 3 years ago

inexxt commented 3 years ago

Some stuff will still be missing, but just to see where we are now and what's still to be done.