Some work on Equiv1 (non-split UFin) - Githubissues

vikraman / 2DTypes

Collaborative work on reversible computing

17 stars 1 forks source link

Some work on Equiv1 (non-split UFin) #70

Closed inexxt closed 3 years ago