search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Deal with the transports in Equiv1.agda #53

Closed vikraman closed 3 years ago

inexxt commented 3 years ago

No longer relevant.