Programming Language Theory Flashcard
Which types are supported in conditional expressions
Books
Concepts
Deckrocq-programming-language
Question
Which types are supported in conditional expressions' conditions in rocq? why? which values are truthy/falsy?
Answer
Inductive types with two constructors.
Why: Rocq does not have a built-in boolean.
The first constructor is truthy, the second is falsy.