idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-24 15:07:37 +03:00
Code Issues Projects Releases Wiki Activity

Update section on custom code gens in updates.rst

Browse Source 
It is now possible to write your own code generation.
This commit is contained in:
Georgi Lyubenov 2021-04-02 12:09:43 +03:00 committed by G. Allais
parent b0d6793cfb
commit 0bbc3cf42b
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
docs/source/updates/updates.rst
View File

@ -858,8 +858,9 @@ Chez Scheme target
The default code generator is, for the moment, `Chez Scheme
<https://www.scheme.com/>`_. Racket and Gambit code generators are also
available. There is not yet a way to plug in code generators as in Idris 1,
but this is coming.
available. Like Idris 1, Idris 2 `supports plug-in code generation
<https://idris2.readthedocs.io/en/latest/backends/custom.html>`_
to allow you to write a back end for the platform of your choice.
To change the code generator, you can use the ``:set cg`` command:
::