Idris wrapper over some of the JavaScript DOM, with a FRP module included.
Primary LanguageIdris
This repository is not active