Programming Language Theory Flashcard

How to invoke a function in rocq?

Books

Concepts

Deckrocq-programming-language

Question

How to invoke a function in rocq?

Answer

Subexpression: (fn arg1 arg2 ...)

Top-level: Compute (fn arg1 arg2 ...).

Expectation: Example test: (fn arg1 arg2) = res.