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