A game in a pure language (part 1): introduction and problems with Idris #1 Post by jcora » Mon, Jan 13, 2020, 1:59 PM UTC A game in a pure language (part 1): introduction and problems with Idrisflowing.systems