Code

[WIP] 🔄 Cooltt Server 1.1#395

Code

Draft

ralsei wants to merge 2 commits intomainRedPRL/cooltt:mainfrom server-1.1RedPRL/cooltt:server-1.1Copy head branch name to clipboard

+219-43

Commits

Commits on Jul 13, 2022

• [WIP] Serialize the labels of objects in the context

  Show description for c78e0c3
  ralsei

  committed
  c78e0c3

Commits on Jul 18, 2022

• add rudimentary #edit to the elaborator

  Show description for e085f93
  ralsei

  committed
  e085f93