Type is Theorem, Code is Proof

Posted on July 8, 2018

Heard this phrase from somewhere. Surprisingly, big G doesn’t even know about it.