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: 3 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 (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2023-01-19T22:37:02.000Z (about 2 years ago)
• Last Synced: 2024-10-04T13:26:12.377Z (4 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

Awesome Lists containing this project