issues
search
vikraman
/
2DTypes
Collaborative work on reversible computing
17
stars
1
forks
source link
Work on sections 5 and 6
#124
Closed
vikraman
closed
3 years ago
vikraman
commented
3 years ago
Merging now to synchronise
vikraman
commented
3 years ago
bors r+
bors[bot]
commented
3 years ago
Build failed:
latex
vikraman
commented
3 years ago
bors r+
bors[bot]
commented
3 years ago
Build succeeded:
agda
latex
Merging now to synchronise