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