IdrisScript

FFI Bindings to interact with the unsafe world of JavaScript

Name	Name	Last commit message	Last commit date
Latest commit Melvar Merge pull request #6 from justjoheinz/feature/pure Jul 1, 2017 4bb7019 · Jul 1, 2017 History 77 Commits
IdrisScript	IdrisScript	Use pure instead of return	Mar 16, 2017
examples	examples	Use pure instead of return	Mar 16, 2017
.gitignore	.gitignore	added gitignore	Oct 2, 2014
IdrisScript.idr	IdrisScript.idr	Use pure instead of return	Mar 16, 2017
LICENSE	LICENSE	changed to BSD2	Oct 5, 2015
Makefile	Makefile	Makefile and package description	Oct 2, 2014
README.md	README.md	Initial commit	Oct 2, 2014
idrisscript.ipkg	idrisscript.ipkg	added Timer module	Oct 4, 2014

Provide feedback