issues
search
vikraman
/
2DTypes
Collaborative work on reversible computing
17
stars
1
forks
source link
Prove TODO in Level0.agda L166
#76
Closed
vikraman
closed
3 years ago
inexxt
commented
3 years ago
Duplicate of #52
Duplicate of #52