type-of-html

This library makes most invalid html documents compile time errors and uses advanced type level features to realise compile time computations.