math

Introduction to Type Theory for Programmers

12 minute read Published: 2025-03-22