Public Notes
on
histre
▶ Ranjit Jhala - Liquid Haskell - YouTube
www.youtube.com
Seven deadly sins of talking about “types” (2014)
news.ycombinator.com
Grow Your Own Type System
news.ycombinator.com
Functorial Blog - Counterexamples of Type Classes
blog.functorial.com
Counterexamples of Type Classes | Hacker News
news.ycombinator.com
15-819 Homotopy Type Theory
www.cs.cmu.edu
Collect and share the web
Get started for free