Zulip Chat Archive
Stream: general
Topic: Semantic highlighting
Martin Dvořák (Oct 10 2025 at 06:54):
Is it possible to make semantic highlighting distinguish between data variables and propositional variables?
Last updated: Feb 28 2026 at 14:05 UTC
Is it possible to make semantic highlighting distinguish between data variables and propositional variables?
Last updated: Feb 28 2026 at 14:05 UTC