Accompanying source code for technical report "Hereditary Substitution by Canonical Evaluation (SbE)".
Primary LanguageTeX