Show HN: I made PeanoScript, an educational TypeScript-like theorem proverpeanoscript.mjgrzymek.com·3 pts·MJGrzymek·1
Pushing CSS:has() to its limits – highlightable parentheses, variable bindingsblog.mjgrzymek.com·3 pts·MJGrzymek·0