idris-electron

Electron bindings for Idris

Dependencies

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
build.sh		build.sh
clean.sh		clean.sh
electron.ipkg		electron.ipkg
example_main.ipkg		example_main.ipkg
example_view.html		example_view.html
example_view.ipkg		example_view.ipkg
install.sh		install.sh
package.json		package.json
run_example.sh		run_example.sh