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

github.com/jaredloomis/Idris-DOM
by @jaredloomis

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.