3 Commits

Author	SHA1	Message	Date
Greg Pfeil	75c228f4e1	Use CommonMark-compatible info strings everywhere ... The bulk of this updates transcripts to put spaces around the language name in code blocks. E.g., ```` markdown ```ucm:hide ```` becomes ```` markdown ``` ucm :hide ```` This corresponds to https://share.unison-lang.org/@unison/website/contributions/11, which updates the docs in the same way. This is effectively a fix for #5214, but that issue also has good recommendations for future changes to info strings, so I don’t know that it should be closed.	2024-10-08 14:23:34 -06:00
Chris Penner	5ca1eb3b8d	Replace '.' references with scratch/main	2024-06-25 11:11:07 -07:00
Dan Doel	e742dfb642	Guard against improper eta reductions ... - The eta reducer was converting `x -> f x x` to `f x`	2021-11-10 17:35:27 -05:00