idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-25 20:51:43 +03:00
Code Issues Projects Releases Wiki Activity

FIxed typo: repeated word

Browse Source
This commit is contained in:
DrBearhands 2021-10-13 14:51:59 +02:00 committed by G. Allais
parent f73e79c3f3
commit 7a4af0cad4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/source/backends/backend-cookbook.rst
View File

@ -63,7 +63,7 @@ The ``CExp`` is closer in the compiling process to code generation.
The custom code generation back-end gets The custom code generation back-end gets
a context of definitions, a context of definitions,
a template directory and an an output directory, a template directory and an output directory,
a ``Core.TT.ClosedTerm`` to compile and a path to an output file. a ``Core.TT.ClosedTerm`` to compile and a path to an output file.
.. code-block:: idris .. code-block:: idris