Hacker News new | ask | show | jobs
by dennis_moore 1572 days ago
Also check out Philip Wadler's Programming Language Foundations in Agda: https://plfa.github.io/