More changes - Githubissues

vikraman / 2DTypes

Collaborative work on reversible computing

17 stars 1 forks source link

More changes #155

Closed vikraman closed 2 years ago

vikraman commented 2 years ago

Fixes:

131
130
148
151

inexxt commented 2 years ago

bors r+

bors[bot] commented 2 years ago

Build succeeded:

agda
latex