/html-pl

Primary LanguageTeXGNU General Public License v3.0GPL-3.0

HTML is a Programming Language

Work in progress on making an operational semantics for HTML.