unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-17 13:27:30 +03:00
Code Issues Projects Releases Wiki Activity

Refresh transcripts with formatting fix

Browse Source
This commit is contained in:
Chris Penner 2022-07-21 15:56:31 -06:00
parent 8dab1c0593
commit 35e7d2710f
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
unison-src/transcripts/fix693.output.md
View File

@ -42,7 +42,7 @@ h0 req = match req with
```ucm
I found a value of type: Optional a1
I found a value of type: Optional a1
where I expected to find: Optional a
1 | h0 : Request {X t} b -> Optional b

2
unison-src/transcripts/hello.output.md
View File

@ -83,7 +83,7 @@ hmm = "Not, in fact, a number"
```ucm
I found a value of type: Text
I found a value of type: Text
where I expected to find: Nat
1 | hmm : .builtin.Nat