From 33968a118947585a2040ea27c2c0697a314e24f4 Mon Sep 17 00:00:00 2001 From: al Date: Sat, 28 Jun 2025 13:52:07 -0400 Subject: [PATCH] Update acl.cool/site/css-sample.dj --- acl.cool/site/css-sample.dj | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/acl.cool/site/css-sample.dj b/acl.cool/site/css-sample.dj index a101fcd..f426add 100644 --- a/acl.cool/site/css-sample.dj +++ b/acl.cool/site/css-sample.dj @@ -34,6 +34,7 @@ A simple proof of fusion for `List.map` in Lean 4. This and similar theorems are The above block is set with ```` ``` ```` above and below the code. Interestingly, trying to type that little backtick sequence there is a little unintuitive in markdown/djot. If the code you're trying to set has $`n` consecutive backticks in it, you have to surround it with $`n+1` backticks and pad those delimiters inside with a space. 1234567890 is a pretty small number, really. +{.thematic} *** There are ten books in Iain M. Banks' _Culture_ series, possibly the greatest cohesive science-fiction series of all time. Banks' prose and poetry leaves little to be desired. @@ -49,4 +50,7 @@ There are ten books in Iain M. Banks' _Culture_ series, possibly the greatest co 9. Surface Detail 10. The Hydrogen Sonata -Math is something I'm still working on; in more ways than one. Something like $$`\forall x \in \mathbb{N}, x \in \mathbb{N}` is easy enough, but other things are harder. \ No newline at end of file +Math is something I'm still working on; in more ways than one. Something like $$`\forall x \in \mathbb{N}, x \in \mathbb{N}` is easy enough, but other things are harder. +Not everyone knows what distfix grammars[^mixfix] are, but they're quite useful when it comes to implementing user-defined syntax. + +[^mixfix]: Also, perhaps more commonly, called "mixfix" grammars. \ No newline at end of file