Hacker News new | past | comments | ask | show | jobs | submit | from login

Learn You an Agda (2014) (williamdemeo.github.io) 46 points by deterministic on Feb 15, 2022 | past | 13 comments Learn You an Agda (williamdemeo.github.io) 1 point by adamnemecek on Nov 8, 2016 | past Learn You an Agda (williamdemeo.github.io) 127 points by bkirwi on Dec 2, 2014 | past | 70 comments

Consider applying for YC's Summer 2025 batch! Applications are open till May 13 Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: