Core Scheme

Scheme/Scheme.All.html is the root of a section of this website showing an Agda formalization of the denotational semantics of Core Scheme, copied from §7.2 of the official standard for R⁵ Scheme.

Scheme/html/Scheme.All.html is the root of the orginal HTML pages generated by Agda from (potentially literate) source code in the GitHub repository.

Scheme.pdf is a highlighted PDF listing of all the Agda modules.