git.iko.soy/Idris-dev
on 1b71663 help sign in
Idris-dev/docs/proofs
13 files
../ definitional.rstremove redundant sentence elabReflection.rstchange text around logic diagram example1.rstmore small changes generatingData.rstchanges to generatingData.rst index.rstrename file inductive.rstFix reST errors. interactive.rstsmall correction interactiveOld.rstretain old tactics documentation patterns.rstclass->interface change in rest of tutorial pluscomm.rstChange Instance to implementation (#3404) primitive.rstmore small changes propositional.rstbetter explanation of replace and rewrite tactics.rstchanges to tactics.rst