mirror of
https://github.com/unisonweb/unison.git
synced 2024-08-15 13:30:27 +03:00
195 B
195 B
scratch/main> builtins.mergeio
structural type M a = N | J a
d = {{
{{ docExample 0 '(x -> J x) }}
{J}
}}
scratch/main> add
scratch/main> display d