Programming Language Theory Flashcard
How to merge multiple patterns in a match arm in rocq?
Books
Deckrocq-programming-language
Question
How to merge multiple patterns in a match arm in rocq?
Question
How to merge multiple patterns in a match arm in rocq?