最近的
-------------------------------------------------------------- This is all preamble stuff that you don't have to worry about. Head down to where it says "Start here" --------------------------------------------------------------
This blog its for university project , I am working in developing this games for year 3
This is an informal set of comments on the HoTT Book.
ERCESI Weekly Report template.