From 0bbc3cf42b54fc6390c52b0fd632df8b73a452ac Mon Sep 17 00:00:00 2001 From: Georgi Lyubenov Date: Fri, 2 Apr 2021 12:09:43 +0300 Subject: [PATCH] Update section on custom code gens in updates.rst It is now possible to write your own code generation. --- docs/source/updates/updates.rst | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/source/updates/updates.rst b/docs/source/updates/updates.rst index 448f619d2..bb6174b84 100644 --- a/docs/source/updates/updates.rst +++ b/docs/source/updates/updates.rst @@ -858,8 +858,9 @@ Chez Scheme target The default code generator is, for the moment, `Chez Scheme `_. 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 +`_ +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: ::