文章 — Research Diary

-------------------------------------------------------------- This is all preamble stuff that you don't have to worry about. Head down to where it says "Start here" --------------------------------------------------------------

This is an informal set of comments on the HoTT Book.

This blog its for university project , I am working in developing this games for year 3

ERCESI Weekly Report template.