math2 min read
Programming Language Fundamentals in Agda
This book is an introduction to programming language theory using the proof assistant Agda.
By plfa.github.io via solomonLobsters
Read the full story
Originally published by Lobsters on Oct 19, 2026.
Comments
Sign in to join the discussion.