Programming Language Theory Flashcard
How to introduce infix syntax in rocq?
Books
Concepts
Decklanguage theory
Question
How to introduce infix syntax in rocq?
Answer
Use Notation "x <op> y" := exp.
Question
How to introduce infix syntax in rocq?
Answer
Use Notation "x <op> y" := exp.