https://github.com/siraben/r5rs-denot
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
https://github.com/siraben/r5rs-denot
denotational-semantics haskell monad-transformers r5rs-scheme scheme scheme-interpreter
Last synced: about 2 months ago
JSON representation
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
- Host: GitHub
- URL: https://github.com/siraben/r5rs-denot
- Owner: siraben
- License: mit
- Created: 2019-03-29T00:21:41.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2023-01-19T22:37:02.000Z (over 2 years ago)
- Last Synced: 2024-10-04T13:26:12.377Z (7 months ago)
- Topics: denotational-semantics, haskell, monad-transformers, r5rs-scheme, scheme, scheme-interpreter
- Language: Haskell
- Homepage:
- Size: 321 KB
- Stars: 20
- Watchers: 6
- Forks: 2
- Open Issues: 0