Jadon.io

Blog posts tagged with tutorials.
Tutorials.

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

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

What is type theory and how is it used?

November 19, 2019tutorials

Introductory articles without the jargon.