jdolson

Pinned Repositories

book
A textbook on informal homotopy type theory
Language:TeX0 2 00
data
An online database of topological spaces
0 2 00
hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
Language:TeX14 2 02
univalence-from-scratch
Univalence from scratch in Idris
Language:Idris19 2 00

jdolson's Repositories

jdolson/univalence-from-scratch
Univalence from scratch in Idris
Language:Idris19 2 00
jdolson/hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
Language:TeX14 2 02
jdolson/book
A textbook on informal homotopy type theory
Language:TeX0 2 00
jdolson/data
An online database of topological spaces
0 2 00
jdolson/scala
The Scala programming language
Language:Scala2 0
jdolson/scala_optimizer_bug
Language:Scala2 0
jdolson/server
Language:Haskell