@chrilves' Archives

PostsArticles about programming, gaming and maths.

chrilves.github.io ↗RSS feed ↗2 posts

Latest posts

Posts

Articles about programming, gaming and maths.

Jun 13, 2025

Introduction to Types

A short and informal introduction to type theory.

Dec 16, 2018