git.iko.soy/Idris-dev
on 73dfb0c help sign in
Idris-dev/docs/proofs
13 files
../ definitional.rstremove redundant sentence elabReflection.rstchange text around logic diagram example1.rstupdate some diagrams for example generatingData.rstminor change - add reference 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.rstremove some duplicated definitions and tidy up propositional.rstbetter explanation of replace and rewrite tactics.rstmore suggested changes