Hacker Newsnew | past | comments | ask | show | jobs | submit | pyautogui's submissionslogin
1.
Enu 0.1.99 (github.com/dsrw)
2 points by pyautogui on June 2, 2022 | past | 1 comment
2.
A tutorial implementation of a dependently typed lambda calculus (2001) [pdf] (andres-loeh.de)
2 points by pyautogui on May 10, 2022 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: