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

Programming Language Theory in Agda (wenkokke.github.io) 116 points by ingve on May 4, 2018 | past | 13 comments VISL CG-3 Is the New Assembler (Constraint Grammar Is Turing Complete) (wenkokke.github.io) 2 points by _pvxk on Jan 30, 2018 | past

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: