GitHub repository: Bobbbay/idris2-dom
Description: Javascript DOM bindings for Idris2