https://github.com/HoTT/book
https://github.com/RobertHarper/hott-notes
https://homotopytypetheory.org/
https://www.cs.cmu.edu/~rwh/courses/hott/

[html]
<a href="https://www.linux.org.ru/forum/talks/15617927?cid=15618764">https://www.linux.org.ru/forum/talks/15617927?cid=15618764</a>
<br />
&nbsp;&nbsp;&nbsp;&nbsp;«В РФ низкокачественные программисты были (которые учились на программистов), потому что в ВУЗах забивали голову ненужным математическим учебным материалом. Вместо нужного (λ-calculus, HoTT, Coq, и т.п.).»
[/html]

[html]<a href="https://www.linux.org.ru/forum/development/9410478?cid=9421272">https://www.linux.org.ru/forum/development/9410478?cid=9421272</a>
<br />
&nbsp;&nbsp;&nbsp;&nbsp;«HoTT для школоты, лучше TYUI или UIoP»[/html]

Отредактировано Лис (2021-12-21 00:35:49)