scrambled
Thoughts
Journeys
Reads
Sign in
Sign in
← back to Type Theory deck
Kitchen
/
Journeys
/
Programming language theory
/
Between if-splitting and conditionals, which one can introduce unions, which one eliminates?
Type Theory
Wrong
Right
New · 0d
question
Between if-splitting and conditionals, which one can introduce unions, which one eliminates?
Hint
If-splitting
Chapter 5. types
← Previous flashcard
Are values always in normal form?
Next flashcard →
Can a term fall within multiple syntactic categories?