Chapter 1. Basics - Functional programming in Rocq
Concepts
- First Class Functional Programming Pure
- Rocq Gallina
- Rocq
- Function Rocq
- Enumerated Type
- Import Require
- Currying Rocq
- Infix
- Truthy Falsy Conditional Expression
- Rocq Truthy
1 / 3
Content
No content yet.