3Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (opens in new tab)(peanoscript.mjgrzymek.com)3MJGrzymek1y ago1
4Pushing CSS:has() to its limits – highlightable parentheses, variable bindings (opens in new tab)(blog.mjgrzymek.com)3MJGrzymek1y ago0