Programming Language Theory Flashcard

Are there many built-in features in rocq?

Books

Concepts

Deckrocq-programming-language

Question

Are there many built-in features in rocq?

Answer

The Rocq's Gallina is a small but expressive functional language.