scrambled
Thoughts
Journeys
Reads
Sign in
Sign in
← back to books
Kitchen
/
Journeys
/
Programming language theory
/
Chapter 1. basics - functional programming in rocq
Benjamin C. Pierce et al.
Software foundations
Benjamin C. Pierce et al.
·
2024
Logical foundations
Benjamin C. Pierce et al.
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.
← Previous chapter
Logical foundations
Next chapter →
Chapter 2. inductive definitions