A game in a pure language (part 1): introduction and problems with Idris (flowing.systems) 4 points by jcora 6y ago ↗ HN
0 comments
[ 2.6 ms ] story [ 9.9 ms ] threadNo comments yet.