ParentFull threadghayes·You can take a look at Effects in Idris: http://docs.idris-lang.org/en/latest/effects/View on HN