Giters
Jeff Olson (jdolson)

jdolson

Geek Repo

0

followers

0

following

4

stars

Github PK Tool:Github PK Tool

Jeff Olson's repositories

univalence-from-scratch

Univalence from scratch in Idris

Language:IdrisStargazers:19Issues:2Issues:0

hott-notes

15-819 (Homotopy Type Theory) Lecture Notes

Language:TeXStargazers:14Issues:2Issues:0

book

A textbook on informal homotopy type theory

Language:TeXStargazers:0Issues:2Issues:0

data

An online database of topological spaces

License:CC-BY-4.0Stargazers:0Issues:2Issues:0

scala

The Scala programming language

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

scala_optimizer_bug

Language:ScalaStargazers:0Issues:2Issues:0

server

Language:HaskellStargazers:0Issues:0Issues:0