git.iko.soy/Idris-dev
on 1b71663 help sign in
Idris-dev/docs/image
38 files
../ README.mdfix typo binders.pngadd documentation for elaboration reflection binders.svgfurther improvements from comments compareToProofAssist.pngfurther improvements from comments compareToProofAssist.svgadd svg diagram effects-tree.pngSphinx Based Documentation for Idris. elab.pngadd documentation for elaboration reflection elab.svgfurther improvements from comments elabLogicEx1_1.pngadd documentation for elaboration reflection elabLogicEx1_1.svgfurther improvements from comments elabLogicEx1_2.pngadd documentation for elaboration reflection elabLogicEx1_2.svgfurther improvements from comments elabLogicEx1_3.pngadd documentation for elaboration reflection elabLogicEx1_3.svgfurther improvements from comments elabLogicEx1_4.pngadd documentation for elaboration reflection elabLogicEx1_4.svgfurther improvements from comments elabOverview.pngupdate elabOverview image elabOverview.svgupdate elabOverview image elabProofState.pngadd documentation for elaboration reflection elabProofState.svgfurther improvements from comments elabProofStateEx1_1.pngupdate some diagrams for example elabProofStateEx1_1.svgupdate some diagrams for example elabProofStateEx1_2.pngupdate some diagrams for example elabProofStateEx1_2.svgupdate some diagrams for example elabProofStateEx1_3.pngadd documentation for elaboration reflection elabProofStateEx1_3.svgfurther improvements from comments generateDatatype.pngchanges to generatingData.rst generateDatatype.svgchanges to generatingData.rst generateFunction.pngchanges to generatingData.rst generateFunction.svgchanges to generatingData.rst idrisTopLevel.pngfurther improvements from comments idrisTopLevel.svgfurther improvements from comments login.pngRename Context->Resources in ST netstate.pngAdd network example to ST tutorial plusReducesProof.pngrewrite documentation for interactive theorem proving plusReducesProof.svgrewrite documentation for interactive theorem proving tree.pngadd documentation for elaboration reflection tree.svgfurther improvements from comments