/oldmathlangts

runtime for the circa-2024 meng's mathlang, soon to be deprecated in favour of 2024 Haskell-based (or lam4) mathlang

Primary LanguageJavaScript

This repository is not active