Work on section 4 - Githubissues

vikraman / 2DTypes

Collaborative work on reversible computing

17 stars 1 forks source link

Closed vikraman closed 3 years ago

vikraman commented 3 years ago

Fixes #109 , fixes #118

vikraman commented 3 years ago

Merging now to synchronise.

vikraman commented 3 years ago

bors r+

bors[bot] commented 3 years ago

Build succeeded: