Skip to content

paragraph on normal order reduction in Untyped chapter#962

Merged
wenkokke merged 2 commits intoplfa:devfrom
proglang:untyped-normal-order-reduction
Jan 27, 2026
Merged

paragraph on normal order reduction in Untyped chapter#962
wenkokke merged 2 commits intoplfa:devfrom
proglang:untyped-normal-order-reduction

Commits

Commits on Jan 16, 2026