search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Fix the typo "1-loops Aut(Fin n)" on line1025 #137

Closed inexxt closed 3 years ago