-
A type safe Idris2 web framework targeting NodeJS
-
Data Frames for Idris 2
-
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