“A Little Taste of Dependent Types” by David Christiansen (2018) [video] (youtube.com) 2 points by strangecasts 6y ago ↗ HN
0 comments
[ 4.4 ms ] story [ 14.0 ms ] threadNo comments yet.