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