As our dear readers widely know, Statebox is a company that heavily relies on category theory for the…
In the previous post we discussed how we could state a definition for generic…
In our previous posts we explored how to work with categories and functors in Idris, providing…
Trying to solve the same problems using the same tools over and over again and expecting to…
I’m here to tell you that visual programming, and diagrammatic reasoning in particular, is a…
Statebox has received a lot of hype and attention in the last months. Nevertheless, we admittedly released very little information about what we are working on, and about the development state of our project in general. One of the…
