HTML.WUI
Libraries to support the type-oriented construction of web user interfaces based on the html2 package
Detailed package documentation (available shortly after this version has been published)