Idris2/docs/source/backends/javascript.rst

mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-17 16:21:46 +03:00
***********************************
Javascript and Node Code Generators
***********************************

To be added.
Update JS code generator to remove RF This name was removed in a recent patch, leading to a small conflict. Also added a note to the CHANGELOG and a placeholder in the docs. 2020-07-09 00:37:32 +03:00			`***********************************`
			`Javascript and Node Code Generators`
			`***********************************`

			`To be added.`