.. |
attack.png
|
add diagram for attack
|
2019-07-06 10:39:36 +01:00 |
attack.svg
|
add diagram for attack
|
2019-07-06 10:39:36 +01:00 |
binders.png
|
add documentation for elaboration reflection
|
2019-05-08 16:21:40 +01:00 |
binders.svg
|
further improvements from comments
|
2019-05-15 17:43:26 +01:00 |
compareToProofAssist.png
|
further improvements from comments
|
2019-05-15 17:43:26 +01:00 |
compareToProofAssist.svg
|
add svg diagram
|
2019-05-19 17:42:46 +01:00 |
effects-tree.png
|
Sphinx Based Documentation for Idris.
|
2015-03-17 16:19:11 +00:00 |
elab.png
|
add documentation for elaboration reflection
|
2019-05-08 16:21:40 +01:00 |
elab.svg
|
further improvements from comments
|
2019-05-15 17:43:26 +01:00 |
elabLogicEx1_1.png
|
update hole diagrams & remove reference to logic
|
2019-07-01 08:05:25 +01:00 |
elabLogicEx1_1.svg
|
update hole diagrams & remove reference to logic
|
2019-07-01 08:05:25 +01:00 |
elabLogicEx1_2.png
|
update hole diagrams & remove reference to logic
|
2019-07-01 08:05:25 +01:00 |
elabLogicEx1_2.svg
|
update hole diagrams & remove reference to logic
|
2019-07-01 08:05:25 +01:00 |
elabLogicEx1_3.png
|
update hole diagrams & remove reference to logic
|
2019-07-01 08:05:25 +01:00 |
elabLogicEx1_3.svg
|
update hole diagrams & remove reference to logic
|
2019-07-01 08:05:25 +01:00 |
elabLogicEx1_4.png
|
add documentation for elaboration reflection
|
2019-05-08 16:21:40 +01:00 |
elabLogicEx1_4.svg
|
further improvements from comments
|
2019-05-15 17:43:26 +01:00 |
elabOverview.png
|
update elabOverview image
|
2019-05-16 19:09:51 +01:00 |
elabOverview.svg
|
update elabOverview image
|
2019-05-16 19:09:51 +01:00 |
elabProofState.png
|
add documentation for elaboration reflection
|
2019-05-08 16:21:40 +01:00 |
elabProofState.svg
|
further improvements from comments
|
2019-05-15 17:43:26 +01:00 |
elabProofStateEx1_1.png
|
update some diagrams for example
|
2019-05-18 16:01:50 +01:00 |
elabProofStateEx1_1.svg
|
update some diagrams for example
|
2019-05-18 16:01:50 +01:00 |
elabProofStateEx1_2.png
|
update some diagrams for example
|
2019-05-18 16:01:50 +01:00 |
elabProofStateEx1_2.svg
|
update some diagrams for example
|
2019-05-18 16:01:50 +01:00 |
elabProofStateEx1_3.png
|
tidy up diagrams for example
|
2019-05-23 11:53:47 +01:00 |
elabProofStateEx1_3.svg
|
tidy up diagrams for example
|
2019-05-23 11:53:47 +01:00 |
fill.png
|
add example and diagram for solve
|
2019-07-05 16:56:28 +01:00 |
fill.svg
|
add example and diagram for solve
|
2019-07-05 16:56:28 +01:00 |
generateDatatype.png
|
changes to generatingData.rst
|
2019-05-21 17:05:06 +01:00 |
generateDatatype.svg
|
changes to generatingData.rst
|
2019-05-21 17:05:06 +01:00 |
generateFunction2.png
|
add diagram to illustrate Raw structure used for function definition
|
2019-05-22 17:00:47 +01:00 |
generateFunction2.svg
|
add diagram to illustrate Raw structure used for function definition
|
2019-05-22 17:00:47 +01:00 |
generateFunction.png
|
changes to generatingData.rst
|
2019-05-21 17:36:58 +01:00 |
generateFunction.svg
|
changes to generatingData.rst
|
2019-05-21 17:36:58 +01:00 |
idrisTopLevel.png
|
further improvements from comments
|
2019-05-15 17:43:26 +01:00 |
idrisTopLevel.svg
|
further improvements from comments
|
2019-05-15 17:43:26 +01:00 |
login.png
|
Rename Context->Resources in ST
|
2017-03-24 18:54:50 +00:00 |
netstate.png
|
Add network example to ST tutorial
|
2017-03-24 18:54:50 +00:00 |
parserModules.png
|
tidy up parser library documentation
|
2020-01-02 11:18:51 +00:00 |
parserModules.svg
|
tidy up parser library documentation
|
2020-01-02 11:18:51 +00:00 |
parserTopLevel.png
|
add parser library documentation
|
2019-12-28 18:28:36 +00:00 |
parserTopLevel.svg
|
add parser library documentation
|
2019-12-28 18:28:36 +00:00 |
plusReducesProof.png
|
rewrite documentation for interactive theorem proving
|
2019-04-16 18:31:52 +01:00 |
plusReducesProof.svg
|
rewrite documentation for interactive theorem proving
|
2019-04-16 18:31:52 +01:00 |
README.md
|
fix typo
|
2019-05-15 18:19:49 +01:00 |
recogniser.png
|
improve lexer description
|
2019-12-29 10:26:33 +00:00 |
recogniser.svg
|
improve lexer description
|
2019-12-29 10:26:33 +00:00 |
solve.png
|
add example and diagram for solve
|
2019-07-05 16:56:28 +01:00 |
solve.svg
|
add example and diagram for solve
|
2019-07-05 16:56:28 +01:00 |
tokenise.png
|
add parser library documentation
|
2019-12-28 18:28:36 +00:00 |
tokenise.svg
|
add parser library documentation
|
2019-12-28 18:28:36 +00:00 |
tree.png
|
corrections to identity example
|
2019-07-03 16:42:35 +01:00 |
tree.svg
|
corrections to identity example
|
2019-07-03 16:42:35 +01:00 |