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.
[ Parent
| on HN ]
There are no comments on this comment yet.