WireCat: visual programming with cartesian categoriesThe main bottleneck in programming is not in code production, but in code understanding. This became even more pronounced with the monumental quantities of code AI is capable of producing. This means we desperately need tools that help us manage this uncontrolled growth. Aiming for correct and intelligible code is not new, and most software engineering patterns have this exact goal. In the context
