I accidentally discovered a bug in the Idris2 codegen. Let's explore how to narrow it down, and hopefully fix it.
Tue, 25 Apr 2023
A brief (ish) overview of common terminology and syntax used in FP, with the aim of getting you to think in words rather than weird symbols.
Mon, 24 Apr 2023
As part of my Ph.D. exploration on how we know the types we're using model what we think they do, I decided to try to implement a constraint solver in Idris (technically Idris2, but Idris1 is deprecated at this point, so I use 'Idris' and 'Idris2' interchangeably).
Thu, 16 Feb 2023
The best way to learn & understand a thing is to implement it. So let's implement (a subset) of Idris2! This part is an introduction and covers some function exercises that will help later.
Fri, 2 Sep 2022