Pages that link to "Agda (programming language)"
The following pages link to Agda (programming language):
Displaying 8 items.
- Functional programming (← links | edit)
- Literate programming (← links | edit)
- Type theory (← links | edit)
- Arity (← links | edit)
- List of programming languages by type (← links | edit)
- Generational list of programming languages (← links | edit)
- Isabelle (proof assistant) (← links | edit)
- Intuitionistic logic (← links | edit)