Programming Language Theory Flashcard
What is the syntax for conditional expressions in rocq?
Books
Concepts
Deckrocq-programming-language
Question
What is the syntax for conditional expressions in rocq?
Answer
if ... then ... else ...
Question
What is the syntax for conditional expressions in rocq?
Answer
if ... then ... else ...