siraben/r5rs-denot
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
GitHub repository with 21 stars and 2 forks.
Language: Haskell
Topics: denotational-semantics, haskell, monad-transformers, r5rs-scheme, scheme, scheme-interpreter