A game in a pure language (part 1): introduction and problems with Idris

A game in a pure language (part 1): introduction and problems with Idris
6 by panic | 0 comments on Hacker News.


Comments