search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Motivate using HoTT at the beginning #130

Closed inexxt closed 2 years ago