Posts tagged as Type Theory

Becoming a logician with TypeScript

Logic and computation are two sides of the same coin. But how does our everyday TypeScript c...

Txus Bach, 5 min read