A tutorial implementation of a dependently typed lambda calculus [pdf] (andres-loeh.de) 2 points by xfer 6y ago ↗ HN
0 comments
[ 3.4 ms ] story [ 7.9 ms ] threadNo comments yet.