4 ms·
Any application where Category Theory is making it substantially easier to express the software or reason about it is fair game, from my perspective.
by AlexCoventry 4y ago
Any application where Category Theory is making it substantially easier to express the software or reason about it is fair game, from my perspective.
- lgas 4y agoHow about https://arxiv.org/abs/1803.05316 https://arxiv.org/abs/1803.05316?