unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 10:35:57 +03:00
Code Issues Projects Releases Wiki Activity

update main.output.md

Browse Source
This commit is contained in:
Eduard Nicodei 2024-06-22 18:08:33 +01:00
parent 85ab99f605
commit 9c610510c1
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
unison-src/transcripts-round-trip/main.output.md
View File

@ -24,7 +24,7 @@ So we can see the pretty-printed output:
☝️
I added 105 definitions to the top of scratch.u
I added 106 definitions to the top of scratch.u
You can edit them there, then run `update` to replace the
definitions currently in this namespace.
@ -331,6 +331,9 @@ fix_4384e =
}}
}}
fix_4727 : Doc2
fix_4727 = {{ `` 0xs900dc0ffee `` }}
Fix_525.bar.quaffle : Nat
Fix_525.bar.quaffle = 32