An Executable Implementation of the Denotational Semantics for Scheme
R5RSの Formal Semantics にある Semantic functions と Auxiliary functions を scheme 自身で実装したもの。半自動生成らしいです。
R5RSの Formal Semantics にある Semantic functions と Auxiliary functions を scheme 自身で実装したもの。半自動生成らしいです。