Jadon.io

August 11, 2021plttype theory

Erasing runtime irrelevant information while retaining the verification of dependent types.

April 15, 2020tutorialstype theory

This obscure class of polymorphism acts as an interesting replacement for subtyping.

April 14, 2020tutorialstype theory

What are Algebraic Data Types and what can we do with them?

November 25, 2019tutorialstype theory

What is type theory and how is it used?