A tutorial implementation of a dependently typed lambda calculus (2001) [pdf]andres-loeh.de2 points·pyautogui··0 commentsOpen articleSaveView on HN