unison/unison-src/transcripts/fix2053.output.md
Greg Pfeil 0031542faf
Add a space before code block info strings
This is for consistency with the `cmark` style. Now the blocks we still
pretty-print ourselves will match the bulk of them that `cmark`
produces.
2024-07-10 13:56:07 -06:00

13 lines
205 B
Markdown

``` ucm
scratch/main> display List.map
f a ->
let
use Nat +
go i as acc = match List.at i as with
None -> acc
Some a -> go (i + 1) as (acc :+ f a)
go 0 a []
```