Hacker News new | ask | show | jobs
A game in a pure language (part 1): introduction and problems with Idris (flowing.systems)
4 points by jcora 2351 days ago