Programming Language Theory FlashcardAre values always in normal form?Properties 3Hide BooksChapter 3. Untyped arithmetic expressions ConceptsNormal formValue Decklanguage theoryQuestionAre values always in normal form?AnswerMay not be, but should hold for all meaningful calculus. Previous in FlashcardsAre there many built-in features in rocq?Next in Flashcards Between if-splitting and conditionals, which one can introduce unions, which one eliminates?