A programming language for formal/informal computation.
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.