• 6 yıl önce
I dont even know what Homotopy Type Theory is!\r
\r
fun.\r
\r
Left player: BoxX 78.32% Right player: Arvin 79.63% First pass for boxx, second for me. BP6 is gonna be great.\r
\r
construction 2 peru.\r
\r
Amazing.