A tutorial implementation of a dependently typed lambda calculus (2001) [pdf] (andres-loeh.de) 2 points by pyautogui 4y ago ↗ HN
0 comments
[ 4.1 ms ] story [ 10.7 ms ] threadNo comments yet.