Scheme.All

{-  Agda formalization of the denotational semantics of Scheme R5

    Based on a plain text copy of §7.2 in [R5RS]

    [R5RS]: https://standards.scheme.org/official/r5rs.pdf
-}

module Scheme.All where

import Scheme.Domain-Notation
import Scheme.Abstract-Syntax
import Scheme.Domain-Equations
import Scheme.Auxiliary-Functions
import Scheme.Semantic-Functions