Programming Language Theory Flashcard
How is the type "bool -> bool" pronounced in rocq?
Books
Concepts
Deckrocq-programming-language
Question
How is the type "bool -> bool" pronounced in rocq?
Answer
"bool arrow bool".
Question
How is the type "bool -> bool" pronounced in rocq?
Answer
"bool arrow bool".