Dev 0.11 merge #2

Merged

wyj merged 3 commits from dev-0.11 into main 2026-05-27 15:22:04 -04:00

Conversation 0 Commits 3 Files Changed 3

+16 -1

3 Commits

Author	SHA1	Message	Date
wyj	b59fc43f5e	update: add tex and markdown extras	2026-05-27 15:20:53 -04:00
wyj	bdf22a3f97	update: add rainbow delimiters	2026-05-27 15:02:39 -04:00
wyj	55f012001f	update: add extra: mini-hipatterns	2026-05-25 06:16:48 -04:00