unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-26 11:07:48 +03:00
Code Issues Projects Releases Wiki Activity
f5d187ef84
unison/unison-src/transcripts/fix3634.md
Rúnar 957ec74d59 Also fix ui
2022-11-22 17:29:35 -05:00

162 B
Raw Blame History 

.> builtins.mergeio

structural type M a = N | J a

d = {{

{{ docExample 0 '(x -> J x) }}

{J}

}}

.> add
.> display d