GitHub repository: klartext/mg-book-sml-sources
Primary language: Standard ML
Description: SML sources of the book "Morphogrammatik: Eine Einführung in die Theorie der logischen Form"