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: Dec 20 2025 at 21:32 UTC
Is it possible to make semantic highlighting distinguish between data variables and propositional variables?
Last updated: Dec 20 2025 at 21:32 UTC