Hacker News new | ask | show | jobs
by weavie 3296 days ago
Indeed. Idris aims to be "PacMan complete". As in it should be perfectly feasible to write PacMan using Idris.