git.iko.soy/Idris-dev
on 5cd37d8 help sign in
Idris-dev/docs/image
33 files
../ README.mdfix typo binders.pngadd documentation for elaboration reflection binders.svgfurther improvements from comments compareToProofAssist.pngfurther improvements from comments compareToProofAssist.svgfurther improvements from comments 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.pngadd documentation for elaboration reflection elabProofState.pngadd documentation for elaboration reflection elabProofState.svgfurther improvements from comments elabProofStateEx1_1.pngadd documentation for elaboration reflection elabProofStateEx1_1.svgfurther improvements from comments elabProofStateEx1_2.pngadd documentation for elaboration reflection elabProofStateEx1_2.svgfurther improvements from comments elabProofStateEx1_3.pngadd documentation for elaboration reflection elabProofStateEx1_3.svgfurther improvements from comments 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