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