WIP instantiating modal diagrams#1308

Draft

quffaro wants to merge 81 commits into

mainfrom

cm/instantiating-modal-diagrams

Commits on Jun 15, 2026

BUILD: Patch for owner change on `wasm-pack` (#1258)

KevinDCarlson
authored and
quffaro
committed
BUILD: Use "type" "bug" in issue template (#1261)

kasbah
authored and
quffaro
committed
BUILD: Make optional deps be ordinary deps in AlgJulia interop (#1268)

authored and
quffaro
committed
DOC: Example: internal language of database schemas.

epatters
authored and
quffaro
committed
DOC: Example: internal language of multicategories.

epatters
authored and
quffaro
committed
DOC: Remark on (non)uniqueness of derivations in internal language.

epatters
authored and
quffaro
committed
DOC: Let binding rule for internal languages of models.

epatters
authored and
quffaro
committed
DOC: Assume flatness of double theory in internal language of models.

epatters
authored and
quffaro
committed
DOC: Double list monads on SSet and formation rule for terms.

epatters
authored and
quffaro
committed
DOC: Morphism equality types using internal language.

epatters
authored and
quffaro
committed
DOC: Ex: commutativity in internal language of symmetric multicats.

epatters
authored and
quffaro
committed
DOC: Pre-composition rule for internal languages of models.

epatters
authored and
quffaro
committed
DOC: Example of internal language of a comulticategory.

epatters
authored and
quffaro
committed
DOC: Example of internal language of a PROP.

epatters
authored and
quffaro
committed
DOC: Example of internal language of a monoidal category.

epatters
authored and
quffaro
committed
DOC: Examples of internal languages of SMCs and cartesian categories.

epatters
authored and
quffaro
committed
DOC: Prior art for RFC on internal languages of models.

epatters
authored and
quffaro
committed
DOC: Example of internal language of a promonad.

epatters
authored and
quffaro
committed
DOC: Generalize modal double theories to have a mode theory.

epatters
authored and
quffaro
committed
DOC: Example of internal language of a Markov category.

epatters
authored and
quffaro
committed
DOC: Future work: more double theories inducing internal languages.

epatters
authored and
quffaro
committed
DOC: Assume that almost representable double theories are strict.

epatters
authored and
quffaro
committed
DOC: Example of using internal language with record types.

epatters
authored and
quffaro
committed
DOC: Rename "inner context" -> "object term" in RFC-0004.

epatters
authored and
quffaro
committed
BUILD: Make deployment set a status on the `main` commit (#1271)

kasbah
authored and
quffaro
committed
FIX: Commit Manifest.toml for algjulia-interop (#1273)

kasbah
authored and
quffaro
committed
BUILD: Remove Project/Manifest toml files for `test` (#1274)
quffaro
committed
BUILD: Update oxlint

kasbah
authored and
quffaro
committed
BUILD: Update stylelint

kasbah
authored and
quffaro
committed
BUILD: Update typescript to 6.0

kasbah
authored and
quffaro
committed
ENH: Reset active input in editors when focus is lost (#1277)

kasbah
authored and
quffaro
committed
BUILD: Update wasm-pack to 0.15 and remove patch (#1281)

kasbah
authored and
quffaro
committed
FIX: Mitigate invalid date being passed to relative_time (#1278)

kasbah
authored and
quffaro
committed
DOC: Tighten up docs on hash mismatch (#1138)

authored and
quffaro
committed
ENH: Code view component (#1285)

quffaro
and
kasbah
committed
CLEANUP: `createResource` reactivity issues (#1286)

kasbah
authored and
quffaro
committed
ENH: Hierarchical FocusHandle

kasbah
authored and
quffaro
committed
ENH: Keyboard shortcuts for undo/redo

kasbah
authored and
quffaro
committed
ENH: Indicate focus in sidebar

kasbah
authored and
quffaro
committed
ENH: Opening history sidebar grabs focus

kasbah
authored and
quffaro
committed
ENH: Set focused on side-bar click on doc

kasbah
authored and
quffaro
committed
REFACTOR: Include "pane" in the focus names

kasbah
authored and
quffaro
committed
FIX: Keep focus on completion escape key press

kasbah
authored and
quffaro
committed
FIX: Use uuid to track active cell rather than index

kasbah
authored and
quffaro
committed
ENH: Add keyboard shortcut indication to undo/redo button tooltip

kasbah
authored and
quffaro
committed
FIX: Update gaios for FocusHandle

kasbah
authored and
quffaro
committed
REFACTOR: Rename color-alert-question to color-indicator

kasbah
authored and
quffaro
committed
ENH: Line up button colors with topos primary

kasbah
authored and
quffaro
committed
ENH: Use topos-primary for color-alert-note

kasbah
authored and
quffaro
committed
REFACTOR: Use button positive instead of topos color name for buttons

kasbah
authored and
quffaro
committed
CLEANUP: Use utility button for "go back" on login

kasbah
authored and
quffaro
committed
CLEANUP: Put foldable stories in the right category

kasbah
authored and
quffaro
committed
BUILD: Upgrade ECharts from v5.5 to v6.1 (#1288)

authored and
quffaro
committed
ENH: Adding Julia to the CI Workflow (#1292)
quffaro
committed
Use pnpm2nix-nzbr (#1263)

kasbah
authored and
quffaro
committed
Move ui-component tests to own GitHub Actions workflow (#1296)

kasbah
authored and
quffaro
committed
BUILD: Move Julia tests to own Github Actions workflow (#1295)

kasbah
authored and
quffaro
committed
ENH: Enable RFCs to build as PDFs. (#1291)

epatters
authored and
quffaro
committed
BUILD: Remove CODEOWNERS file. (#1300)

epatters
authored and
quffaro
committed
BUILD: Work around incompatibility with current version of `spath3`. (#1301)

epatters
authored and
quffaro
committed
BUILD: Add a vite-plugin-monorepo-dedupe tool (#1290)

kasbah
authored and
quffaro
committed
ENH: Deferrable foreign keys for PostgresSQL backend (#1057)
quffaro
committed
Revert "BUILD: Add a vite-plugin-monorepo-dedupe tool (#1290)" (#1302)

epatters
authored and
quffaro
committed
DOC: Update CHANGELOG for CatColab v0.6 release.

epatters
authored and
quffaro
committed
BUILD: Disable RFC PDF builds (#1310)

tim-at-topos
authored and
quffaro
committed
HOUSEKEEPING: checking out files from diagrams of modal models
quffaro
committed
WIP: adding DblModelDiagramType enum and its Modal variant
quffaro
committed
WIP: multihom lifting working
quffaro
committed
WIP: parsing equality
quffaro
committed
WIP: transpiler. might need to do two passes for subbing
quffaro
committed
WIP: moving transpiler to new file
quffaro
committed
CLEANUP
quffaro
committed
WIP: petri net nb elab, decapodes transpilation
quffaro
committed
WIP: decapodes transpiling
quffaro
committed