A game in a pure language (part 1): introduction and problems with Idrisflowing.systems4 points·jcora··0 commentsOpen articleSaveView on HN