Pages that link to "Idris (programming language)"
The following pages link to Idris (programming language):
Showing 48 items.
- "Hello, World!" program (links)
- Per Martin-Löf (links)
- Epigram (programming language) (links)
- ML (programming language) (links)
- Dependent type (links)
- Timeline of programming languages (links)
- Idris (programming language) (transclusion) (links)
- Comparison of programming languages (algebraic data type) (links)
- Self-hosting (compilers) (links)
- Rust (programming language) (links)
- Option type (links)
- Applicative functor (links)
- Servant (web framework) (links)
- List of programming languages by type (links)
- List of programming languages (links)
- Generational list of programming languages (links)
- Clean (programming language) (links)
- Uniqueness type (links)
- Program analysis (links)
- Liquid Haskell (links)
- Hoare logic (links)
- Polyvariance (links)
- Whitespace (programming language) (links)
- QuickCheck (links)
- Conor McBride (links)
- John Hughes (computer scientist) (links)
- Yhc (links)
- Ivor the Engine (links)
- HaXml (links)
- Yesod (web framework) (links)
- Idris 2 (redirect to section "Idris 2") (links)
- Algebraic data type (links)
- Haddock (software) (links)
- Haskell (links)
- Fudgets (links)
- Curry (programming language) (links)
- Elm (programming language) (links)
- Stack (Haskell) (links)
- Philip Wadler (links)
- Model checking (links)
- Bluespec (links)
- History of software (links)
- Paul Hudak (links)
- Intuitionistic type theory (links)
- English Wikipedia @ Freddythechick:Articles for deletion/Idris (programming language) (links)
- English Wikipedia @ Freddythechick:WikiProject Computer science/Article alerts/Archive 1 (links)
- Template:Program analysis (links)
- Template:Haskell programming (links)