3 ms·A tutorial implementation of a dependently typed lambda calculus (2001) [pdf]2 points by pyautogui 4y ago