git.iko.soy/Idris-dev
on master help sign in
add documentation for elaboration reflection
cd58dfbMartin Baker
docs/proofs/index.rst+5
compare with master
unifiedsplit
@@ -25,4 +25,9 @@ A tutorial on theorem proving in Idris.
25 propositional
25 propositional
26 interactive
26 interactive
27 interactiveOld
27 interactiveOld
28+ elabReflection
29+ tactics
30+ example1
31+ primative
32+ generatingData
28
33