https://github.com/robrix/seq
a µµ̃ calculus with pretty-printing and evaluating interpreters
https://github.com/robrix/seq
Last synced: about 1 year ago
JSON representation
a µµ̃ calculus with pretty-printing and evaluating interpreters
- Host: GitHub
- URL: https://github.com/robrix/seq
- Owner: robrix
- License: bsd-3-clause
- Created: 2022-03-09T09:18:14.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2022-08-04T15:01:25.000Z (almost 4 years ago)
- Last Synced: 2025-04-01T02:49:49.026Z (about 1 year ago)
- Language: Haskell
- Size: 460 KB
- Stars: 5
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
Awesome Lists containing this project
README
# `seq` — a sequent calculus for no good reason