idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-11 13:36:08 +03:00
Code Issues Projects Releases Wiki Activity

added nodejs version to README

Browse Source
This commit is contained in:
Rui Barreiro 2020-07-06 17:09:00 +01:00
parent 68c9990c8a
commit a6be3ee104
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -83,6 +83,10 @@ language `TTImp`, which is essentially a desugared Idris, and is cleanly
separated from the high level language which means it is potentially usable
as a core language for other high level syntaxes.
Javascript
====================
The javascript codegen uses the new BigInt, hence nodejs 10.4 or higher is required.
Things still missing
====================