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