Hedonistic Learning

Learning for the fun of it

Quotient Types for Programmers

September 23, 2016 05:21 UTC

Tags: math, type theory

Understanding typing judgments

April 13, 2016 02:41 UTC

Tags: Agda, type theory