Pages that link to "Agda (programming language)"
The following pages link to Agda (programming language):
Showing 50 items.
- Agda (links)
- Functional programming (links)
- Literate programming (links)
- Epigram (programming language) (links)
- Timeline of programming languages (links)
- Type theory (links)
- Idris (programming language) (links)
- ALF (proof assistant) (links)
- Option type (links)
- The Cortège (links)
- Applicative functor (links)
- Competitions and prizes in artificial intelligence (links)
- Agda (theorem prover) (redirect page) (links)
- Servant (web framework) (links)
- Agda (proof assistant) (redirect page) (links)
- Refocusing (semantics) (links)
- List of programming languages by type (links)
- List of programming languages (links)
- Generational list of programming languages (links)
- Isabelle (proof assistant) (links)
- Program analysis (links)
- Comparison of programming languages by type system (links)
- Liquid Haskell (links)
- Intuitionistic logic (links)
- Draft:Dhall (links)
- Hoare logic (links)
- Polyvariance (links)
- Blakers–Massey theorem (links)
- Chalmers Lindholmen University College (links)
- Conor McBride (links)
- John Hughes (computer scientist) (links)
- Yhc (links)
- HaXml (links)
- Ogle DVD Player (links)
- Yesod (web framework) (links)
- Chalmers Ballong Corps (links)
- Haddock (software) (links)
- Chalmers School of Entrepreneurship (links)
- Haskell (links)
- Chalmers Students' Union (links)
- Fudgets (links)
- Curry (programming language) (links)
- Elm (programming language) (links)
- Stack (Haskell) (links)
- Characters per line (links)
- Agda2 (redirect page) (links)
- Philip Wadler (links)
- Model checking (links)
- Bluespec (links)
- Paul Hudak (links)