unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-21 15:28:15 +03:00
Code Issues Projects Releases Wiki Activity

Update transcript output

Browse Source
This commit is contained in:
Rúnar 2021-09-11 05:08:16 -04:00
parent 3da39fd16d
commit 0273083cb7
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
unison-src/transcripts/bug-strange-closure.output.md
View File

@ -2077,9 +2077,9 @@ rendered = Pretty.get (docFormatConsole doc.guide)
(Term.Term
(Any
'(f x ->
f x Nat.+
sqr
1 ))))),
f x
Nat.+ sqr
1))))),
!Lit
(Right
(Plain "-")),