/ArrowPatterns

A termination-proof programming language

MIT LicenseMIT

No issues in this repository yet.