4 ms·
You can take a look at Effects in Idris: http://docs.idris-lang.org/en/latest/effects/ http://docs.idris-lang.org/en/latest/effects/
by ghayes 7y ago
You can take a look at Effects in Idris: http://docs.idris-lang.org/en/latest/effects/ http://docs.idris-lang.org/en/latest/effects/
- RubenSandwich 7y agoOh I didn't know Idris had an effect system. Thanks!