Hacker News new | ask | show | jobs
2048 in Idris (github.com)
5 points by EzraVinh 4449 days ago