Some JQuery bindings for Idris