KesterTong/idris2048
2048 in Idris
84 best points · 11 comments · 2 Hacker News posts · 124 GitHub stars · View on GitHub
Hacker News discussions
- 2048 in Idris (84 points, 11 comments, by sctb, 2014-04-29)
- 2048 in Idris (5 points, 0 comments, by EzraVinh, 2014-04-20)