Pages that link to "Agda (programming language)"
Jump to navigation
Jump to search
The following pages link to Agda (programming language):
Displaying 20 items.
- Functional programming (← links)
- Literate programming (← links)
- Timeline of programming languages (← links)
- Type theory (← links)
- Arity (← links)
- Vacuous truth (← links)
- List of programming languages by type (← links)
- Generational list of programming languages (← links)
- Isabelle (proof assistant) (← links)
- Intuitionistic logic (← links)
- Intuitionistic type theory (← links)
- Off-side rule (← links)
- Constructive logic (← links)
- First-class citizen (← links)
- Normal form (natural deduction) (← links)
- Proof assistant (← links)
- Dependent type (← links)
- Philip Wadler (← links)
- Type class (← links)
- Agda (← links)