I'm pleased to announce that I managed to get the draft Common Lisp Specification translated from TeX to an s-expression based document format. I started this project in 2015 and finally finished it this year (maybe a bit late for it to be relevant).

The HTML proof-of-concept is at metaspec.dev/ and is probably the most complete rendering of the spec to date. It contains the acknowledgements, the appendix, errata, and preserves editorial TeX comments in the margins. It uses a patching system against sdoc to make auditable corrections and MathML to render the TeX mathy bits.

The code that generates it, and a copy of the metaspec.sdoc file can be found at codeberg.org/dlowe/metaspectre

#CommonLisp #Lisp #TeX