Collaborative work on reversible computing and its relationship to Homotopy Type Theory. Drafts are available in releases.
vikraman/2DTypes
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Collaborative work on reversible computing and its relationship to Homotopy Type Theory. Drafts are available in releases.