Programming Language Theory Flashcard
What
Books
Concepts
Deckrocq-programming-language
Question
What's the difference between constructors and functions in rocq?
Answer
Constructors have no notion of computation i.e. it has no computation rules.
Functionss ave computation rules.