{"pages":[{"page_name":"Homotopy-type-theory-and-univalent-foundations-calendar","title":"Homotopy type theory and univalent foundations calendar","summary":null,"action":"edited","sha":"8bf8b0b0d46d29d71c85ca56284c6b926db10922","html_url":"https://github.com/UniMath/UniMath/wiki/Homotopy-type-theory-and-univalent-foundations-calendar"}]}
{"actor":{"display_login":"DanGrayson"}}