1 A game in a pure language (part 1): introduction and problems with Idris 2020144 points58 commentsSoftware Engineering details