scrambled
scrambled
Concept

Unfold

Modified just now
Books JourneyProgramming Language Theory Statusreviewing Tags
  • language-feature-design
  • semantics
  • syntax grammar

A reduction step that replaces a defined name with its definition body, expanding abbreviations to expose underlying structure.

A reduction step that replaces a defined name with its definition body, expanding abbreviations to expose underlying structure.