search

ToposInstitute / CatColab

A collaborative environment for formal, interoperable, conceptual modeling
https://catcolab.org
MIT License
24 stars 6 forks source link

Custom select widget for theories #52

Open olynch opened 3 months ago

olynch commented 3 months ago

As discussed in #45, we should have a custom "select" widget with type-ahead support.

epatters commented 3 months ago

A custom select widget should also be used to implement the UI for #22.