add documentation for elaboration reflection
commitcd58dfbb4bc281b0c31c2219a66dc3da7c686352
authorMartin Baker <git87465@martinb.com>
dateWed 8 May 2019, 16:24 (7 years ago)
parentd748d5e
docs/proofs/index.rst+5
@@ -25,4 +25,9 @@ A tutorial on theorem proving in Idris.
2525 propositional
2626 interactive
2727 interactiveOld
28+ elabReflection
29+ tactics
30+ example1
31+ primative
32+ generatingData
2833