Core Scheme

md/Scheme.All 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.

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

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