on master help sign in
Idris-dev/docs/effects
9 files
../ conclusions.rstuse HTTPS URL instead of HTTP URL when possible depeff.rstOne important comment for those who wants to use actual lib was added. hangman.rstclass->interface change in rest of tutorial impleff.rstUpdate impleff.rst index.rstuse HTTPS URL instead of HTTP URL when possible introduction.rstUpdate introduction.rst simpleeff.rstFixes error in type definition for So. state.rstFix typo in Dep.Eff documentation. summary.rstEffects summary was updated according to the current `Eff` definition.