ConceptExpressionModified just nowProperties 4Hide BooksChapter 3. Untyped arithmetic expressionsChapter 2. EvaluationChapter 1. Basics - functional programming in rocq JourneyProgramming Language Theory Statusmastered Tagslambda calculuslanguage-feature-designsemanticssyntax grammarINFO(Semantics, Syntax & Grammar, Language feature/design) A syntactic construct that evaluates to a value, as opposed to a Statement. Previous in ConceptsExpansionNext in Concepts Expression problem