git.iko.soy/Idris-dev
on master help sign in
Idris-dev/docs/image
54 files
../ README.mdfix typo attack.pngadd diagram for attack attack.svgadd diagram for attack 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.pngupdate hole diagrams & remove reference to logic elabLogicEx1_1.svgupdate hole diagrams & remove reference to logic elabLogicEx1_2.pngupdate hole diagrams & remove reference to logic elabLogicEx1_2.svgupdate hole diagrams & remove reference to logic elabLogicEx1_3.pngupdate hole diagrams & remove reference to logic elabLogicEx1_3.svgupdate hole diagrams & remove reference to logic 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.pngtidy up diagrams for example elabProofStateEx1_3.svgtidy up diagrams for example fill.pngadd example and diagram for solve fill.svgadd example and diagram for solve generateDatatype.pngchanges to generatingData.rst generateDatatype.svgchanges to generatingData.rst generateFunction.pngchanges to generatingData.rst generateFunction.svgchanges to generatingData.rst generateFunction2.pngadd diagram to illustrate Raw structure used for function definition generateFunction2.svgadd diagram to illustrate Raw structure used for function definition idrisTopLevel.pngfurther improvements from comments idrisTopLevel.svgfurther improvements from comments login.pngRename Context->Resources in ST netstate.pngAdd network example to ST tutorial parserModules.pngtidy up parser library documentation parserModules.svgtidy up parser library documentation parserTopLevel.pngadd parser library documentation parserTopLevel.svgadd parser library documentation plusReducesProof.pngrewrite documentation for interactive theorem proving plusReducesProof.svgrewrite documentation for interactive theorem proving recogniser.pngimprove lexer description recogniser.svgimprove lexer description solve.pngadd example and diagram for solve solve.svgadd example and diagram for solve tokenise.pngadd parser library documentation tokenise.svgadd parser library documentation tree.pngcorrections to identity example tree.svgcorrections to identity example