HTML An Idris package to output HTML. Usage idris --install html.ipkg To use the library in another file type: idris -p html Main.idr Documentation idris --mkdoc ./event.ipkg License Mozilla Public License, v. 2.0