In the past years there’s been a lot of talk about category theory in the functional programming community. This is because…
In our first post on categories in Idris we provided a definition of category which we can practically use. But we didn’t…