search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Reorganise and document the formalisation #138

Closed vikraman closed 3 years ago

vikraman commented 3 years ago

bors r+

bors[bot] commented 3 years ago

Build succeeded: