git.iko.soy/Idris-dev
on aeb032a help sign in
history ofdocs/effects/depeff.rst
all commits
35958e3class->interface change in rest of tutorialEdwin Brady 74068ecRemove "notation" - syntax rule isn't used anymore.Leif Warner 4a5e169Remove leftover old dependent effect syntax.Leif Warner 3cf106epure -> pureM in depeff tutorialMitchell Rosen 2ac0079Bring effects tutorial up to dateEdwin Brady 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes 628ddcbRemove captions from docsEdwin Brady ef50150UpdatesJan de Muijnck-Hughes af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes