Hacker News new | ask | show | jobs
by RubenSandwich 2578 days ago
Oh I didn't know Idris had an effect system. Thanks!