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