A termination-proof programming language
MIT LicenseMIT
The source code was written in Markdown, the PDF was generated using Pandoc.