git.iko.soy/Idris-dev
on 75feef7 help sign in
Idris-dev/docs/proofs
13 files
../ definitional.rstremove redundant sentence elabReflection.rstchange text around logic diagram example1.rstmore small changes generatingData.rstfix example code for generating functions 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.rstchanges to primitive.rst propositional.rstbetter explanation of replace and rewrite tactics.rstchanges to tactics.rst