Programming Language Theory Flashcard
What is the syntax for multi-argument application in rocq?
Books
Concepts
Deckrocq-programming-language
Question
What is the syntax for multi-argument application in rocq?
Answer
(fn arg1 arg2 ...).
Question
What is the syntax for multi-argument application in rocq?
Answer
(fn arg1 arg2 ...).