Programming Language Theory Flashcard

How to define an infix notation with a predefined fixity and precedence in rocq?

Books

Deckgeneral

Question

Answer