Hacker News
- Introduction to Univalent Foundations of Mathematics with Agda https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/HoTT-UF-Agda.html 6 comments
Linking pages
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- GitHub - andrejbauer/homotopy-type-theory-course: A course on homotopy theory and type theory, taught jointly with Jaka Smrekar https://github.com/andrejbauer/homotopy-type-theory-course 4 comments
- index - 1Lab https://cubical.1lab.dev 2 comments
- index - 1Lab https://1lab.dev/ 0 comments
- GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments
Related searches:
Search whole site: site:cs.bham.ac.uk
Search title: Introduction to Univalent Foundations of Mathematics with Agda
See how to search.