Programming Language Theory Flashcard
How to verify the type of an expression in rocq?
Books
Concepts
Deckrocq-programming-language
Question
How to verify the type of an expression in rocq?
Answer
Use Check exp : type.
Question
How to verify the type of an expression in rocq?
Answer
Use Check exp : type.