Idris Lib to interact with the DOM and Browser API for the JavaScript backend
Idris
Switch branches/tags
Nothing to show
Clone or download
Latest commit 42db314 Jul 8, 2014
Permalink
Failed to load latest commit information.
IQuery Add setValue Jul 4, 2014
example Add setValue Jul 4, 2014
.gitignore gitignore Jul 4, 2014
CONTRIBUTING.md Add initial contributing readme May 6, 2014
IQuery.idr added IQuery.State Jun 18, 2014
Makefile initial commit Apr 29, 2014
README.md Wrap lines May 6, 2014
iquery.ipkg added IQuery.State to iquery.ipkg Jun 18, 2014

README.md

iQuery

iQuery is an Idris library to interact with the DOM and Browser API with the Idris Javascript backend.