Programming Language Theory Flashcard
What is the name of rocq
Books
Concepts
Deckrocq-programming-language
Question
What is the name of rocq's native functional programming language?
Answer
Gallina.
Question
What is the name of rocq's native functional programming language?
Answer
Gallina.