remove space which caused incorrect formatting
commit893350512b7fee09b7e55d5e5d163e17bacea03f
authorMartin Baker <git87465@martinb.com>
dateFri 17 May 2019, 17:26 (7 years ago)
parent7b70c6c
docs/proofs/elabReflection.rst+1−1
@@ -3,7 +3,7 @@ Extending Idris using Elaborator Reflection
33
44Idris provides a mechanism to modify the language without having to recompile Idris itself. We can think of this in terms of metaprogramming or domain specific languages or just building in new capabilities.
55
6−In order to extend the language we need to know something about how Idris is compiled. This page explains only what is needed to customise the elaboration. For more information about the compiler's implementation see `Edwin Brady's 2013 paper`_ and for customising the elaboration process see `Elaborator reflection: extending Idris in Idris`_ and `David Christiansen's PhD thesis`_ .
6+In order to extend the language we need to know something about how Idris is compiled. This page explains only what is needed to customise the elaboration. For more information about the compiler's implementation see `Edwin Brady's 2013 paper`_ and for customising the elaboration process see `Elaborator reflection: extending Idris in Idris`_ and `David Christiansen's PhD thesis`_.
77
88Compilation of Idris proceeds through a number of stages.
99