Skip to content

Fix highlighting for where with generic records.#27

Open
jackolantern wants to merge 1 commit intoteal-language:masterfrom
jackolantern:master
Open

Fix highlighting for where with generic records.#27
jackolantern wants to merge 1 commit intoteal-language:masterfrom
jackolantern:master

Commits

Commits on Aug 31, 2025