Idris DOM

This is an Idris library for interacting with the DOM. It tries to follow the official WHATWG standard as close as possible. Documentation can be found at https://blau-io.github.io/idris-dom/.

This is project is still under development, breaking changes are expected.