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