Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

RCEpic

jozefg/learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

Owner: jozefg (personal account)
Stars: Stars: 2,511
Forks: Forks: 140
Language: No language
License: None
Created: 2015
Tier: RC (2,000 to 4,999 ★) What this tier means

More repos by jozefg

All 5 repos by jozefg

jozefg/higher-order-unificationStars: 198HaskellPrototype
jozefg/nbe-for-mlttStars: 138OCamlPrototype
jozefg/pcfStars: 126HaskellPrototype
jozefg/blottStars: 123OCamlPrototype