GitHub - jaredloomis/Idris-DOM: Idris wrapper over some of the JavaScript DOM, with a FRP module included.

jaredloomis / Idris-DOM Public

Idris wrapper over some of the JavaScript DOM, with a FRP module included.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Animation.idr		Animation.idr
Array.idr		Array.idr
Attr.idr		Attr.idr
Document.idr		Document.idr
Element.idr		Element.idr
Event.idr		Event.idr
FRP.idr		FRP.idr
Main.idr		Main.idr
RawStyle.idr		RawStyle.idr
Style.idr		Style.idr
ioref.js		ioref.js
jsLib.js		jsLib.js