2DTypes Collaborative work on reversible computing and its relationship to Homotopy Type Theory. Drafts are available in releases.
