scrambled
Thoughts
Journeys
Reads
Sign in
Sign in
← back to Language Theory deck
Kitchen
/
Journeys
/
Programming language theory
/
Are values always in normal form?
Language Theory
Wrong
Right
New · 0d
question
Are values always in normal form?
Hint
Normal form
Value
Chapter 3. untyped arithmetic expressions
← Previous flashcard
Are there many built-in features in rocq?
Next flashcard →
Between if-splitting and conditionals, which one can introduce unions, which one eliminates?