News for hackers. Stuff that matters.
Re:Towards Idris Version 1.0 by bjz_ on Wednesday November 30, 2016 @04:48PM (#13075027)
Yeah, as someone who is interested in implementing an effect system in a language, I'd also love to know why the new approach is being considered.

There are no comments on this comment yet.