This repository patches and builds the Idris2 compiler for nodejs. It is intended for use on small memory systems that can't build the full chez version.
- Download the
idris2-js.zipfile for the release. - Unzip and move
.idris2-jsto your home directory - Add
~/.idris2-js/binto yourPATH
If you place it elsewhere or rename it, the environment variable IDRIS2_PREFIX should point to what was the .idris2-js directory.
- REPL and command line work
- IDE mode is disabled (TODO)
nodeis the default codegen
The patches are found in Node.patch, and the build script is BUILDJS.