Programming Language Theory Flashcard
Which values are truthy in rocq?
Books
Concepts
Deckrocq-programming-language
Question
Which values are truthy in rocq?
Answer
The first constructor of an inductive type that has two constructors.
Question
Which values are truthy in rocq?
Answer
The first constructor of an inductive type that has two constructors.