Hacker News new | ask | show | jobs
by blueberry87 976 days ago
Also agda: https://plfa.github.io/