6 ms·
Indeed. Idris aims to be "PacMan complete". As in it should be perfectly feasible to write PacMan using Idris.
by weavie 9y ago
Indeed. Idris aims to be "PacMan complete". As in it should be perfectly feasible to write PacMan using Idris.
loading thread…