Pages that link to "Agda (programming language)"
From HandWiki
The following pages link to Agda (programming language):
Displayed 39 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Cayenne (programming language) (← links)
- Epigram (programming language) (← links)
- Haskell (programming language) (← links)
- Idris (programming language) (← links)
- Option type (← links)
- Induction-recursion (← links)
- Proof assistant (← links)
- Type theory (← links)
- Intuitionistic logic (← links)
- Blakers–Massey theorem (← links)
- Comparison of programming languages by type system (← links)
- Applicative functor (← links)
- List of programming languages by type (← links)
- First-class citizen (← links)
- Generational list of programming languages (← links)
- List of filename extensions (A–E) (← links)
- ALF (proof assistant) (← links)
- Timeline of programming languages (← links)
- Termination analysis (← links)
- Off-side rule (← links)
- Literate programming (← links)
- Characters per line (← links)
- Univalent foundations (← links)
- Haskell (← links)
- Refocusing (semantics) (← links)
- Template:Chalmers University of Technology (← links)
- Engineering:EcoProIT (← links)
- Biography:Philip Wadler (← links)
- Organization:CETAC (← links)
- Organization:IT University (← links)
- Organization:Center for Intellectual Property Studies (← links)
- Organization:Chalmers Naval Architecture Students' Society (← links)
- Software:IT++ (← links)
- Software:Ogle DVD Player (← links)
- Software:Isabelle (proof assistant) (← links)
- Software:FEniCS Project (← links)
- Software:List of arbitrary-precision arithmetic software (← links)
- Software:Lean (proof assistant) (← links)
- Software:Comparison of Literate and Interactive Programming Tools (← links)