Hacker News new | ask | show | jobs
A tutorial implementation of a dependently typed lambda calculus (2001) [pdf] (andres-loeh.de)
2 points by pyautogui 1501 days ago