7 ms·
Some more examples, together with graphical notation: https://tromp.github.io/cl/diagrams.html https://tromp.github.io/cl/diagrams.html
by tromp 5y ago
Some more examples, together with graphical notation:
https://tromp.github.io/cl/diagrams.html https://tromp.github.io/cl/diagrams.html