=========================================================== pi-dual Collaborative work on reversible computing and its relationship to Homotopy Type Theory.
