Pi-Forall: How to use and implement a dependently-typed language [video] (youtube.com) 1 points by wkornewald 10y ago ↗ HN
0 comments
[ 2.1 ms ] story [ 4.2 ms ] threadNo comments yet.