- Functional Programming in Idris 2
- Idris2: A purely functional programming language with first class types
- Accelerated machine learning with dependent types
- Single Page Web Applications in Idris
- How to Keep Lambda Calculus Simple
- An online RPN Calculator in Idris
- is dependent haskell still a thing?
- Idris 2 0.6.0 is now available for the JVM
- Idris 2 0.6.0 is now available for the JVM
- Idris 2 0.6.0 is now available for the JVM
- Idris 2 0.6.0 is now available for the JVM
- Responsible – HTTP RESTful API server written in the Idris2 typesafe language
- How to avoid right intendation?
- Probabilistic music composition in Idris2 to model jazz improvisation
- Data types with Negation
- Is idris2 production ready?
- I've learned this from Conor McBride on an SPLV'19 bus ride. A literary reference would be welcome.
- Altering behavior of runElab and macros outside of source code
- [Request] Feedback on my simple dependent typed syntax evaluator (Idris 2)
- [Request] Feedback on my simple dependent typed syntax evaluator (Idris 2)
- [Request] Feedback on my simple dependent typed syntax evaluator (Idris 2)
- Managing world state for a imperative language with pure functions
- implied args within passed around functions question
- Idris 2: a purely functional programming language with first class types
- Idris 2 v0.6.0 release
- The Little Typer – The Beauty of Dependent Type Systems, One Step at a Time
- Least painful way to install idris2 on Windows or WSL?
- Idris2 tutorial help
- How to handle negative input when only dealing with natural numbers?
- Building Idris2 for Apple silicon as of August 2022
- What about Scala 3?
- Programmable type systems?
- Stack machines
- Does anyone else wish they could "name" args in type signatures?
- How to use elaborator reflection to help type inference?
- Idris 2: Quantitative Type Theory in Practice
- Geometry from Another Universe
- [Project] Idris and XLA: linear algebra and probabilistic modelling w. dependent types
- [Project] Idris and XLA: linear algebra and probabilistic modelling w. dependent types
- A portable idris2 implementation of TLS 1.2 and TLS 1.3 protocol
- GitHub - AndrasKovacs/smalltt: Demo for high-performance type theory elaboration
- Help with interfaces and implicit parameters
- Advent of Code 2021 using idris2
- What's the current status with packages/libraries on Idris?
- The hardest thing I ever did explained as simply as possible.
- Use lenses to maintain forwards and backwards compatibility with your software
- Domain Driven Design Made Dependently Typed with Idris
- Domain Driven Design made Dependently Typed
- Idris 2 – 0.2.1 release for the JVM
- ML engineering as [research]. Probabilistic modelling [project] w. dependent types. Early stages