README.md

idrisjs

Js libraries for idris.

The only current working part are the modules for making a gui as single pape web app.

To build

idris --install js.ipkg

Running the example:

cd examples
idris --codegen javascript -p js -p contrib todo.idr -o todo.html

then open todo.html

Documentation

The only documentation available right now is the idris generated doc

idris --mkdoc js.ipkg

Open a github issue to discuss anything related to this project, including questions on how to use the project, as they are probably due to lack of documentation.