git.iko.soy/Idris-dev
on 84fa0bb help sign in
Idris-dev/docs/effects
9 files
../ conclusions.rstUpdates depeff.rstUpdates hangman.rstUpdates impleff.rstUpdates index.rstUpdated license to be CC0 and restored missing section. introduction.rstFix missing imports in effects tutorial simpleeff.rstUpdates state.rstFix missing imports in effects tutorial summary.rstSphinx Based Documentation for Idris.