I'm curious which language/approach did you take. I recently picked Idris with the book Type-driven development in Idris and so far I'm enjoying the ride (I hav

I'm curious which language/approach did you take. I recently picked Idris with the book Type-driven development in Idris and so far I'm enjoying the ride (I have some experience in functional programming but not in Haskell).