Can't click directly into the domain/codomain of a morphism unless you were just there

ToposInstitute / CatColab

A collaborative environment for formal, interoperable, conceptual modeling

https://catcolab.org

MIT License

11 stars 4 forks source link

Open KevinDCarlson opened 1 month ago

KevinDCarlson commented 1 month ago

Related: #69

932a54b677c7b0a8e5ad528644831655