git.iko.soy/Idris-dev
on 5cd37d8 help sign in
Idris-dev/docs/proofs
13 files
../ definitional.rstremove redundant sentence elabReflection.rstadd readme file to explain image file formats example1.rstfix image paths generatingData.rstminor change - add reference index.rstchange title of theorem proving section 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) primative.rstchange as suggested propositional.rstbetter explanation of replace and rewrite tactics.rstfix reference