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