2 ms·A game in a pure language (part 1): introduction and problems with Idris4 points by jcora 7y ago