Crash Course in Idris: A Language for Type-Driven Development (idris2.readthedocs.io) 6 points by kyleee 4y ago ↗ HN
0 comments
[ 1.9 ms ] story [ 12.4 ms ] threadNo comments yet.