mirror of
https://github.com/unisonweb/unison.git
synced 2024-08-15 13:30:27 +03:00
builtins.md converted to projects
This commit is contained in:
parent
e2f4c388b6
commit
6e48ce47be
@ -1,6 +1,6 @@
|
||||
The `builtins.merge` command adds the known builtins to a `builtin` subnamespace within the current namespace.
|
||||
The `builtins.merge` command adds the known builtins to the specified subnamespace within the current namespace.
|
||||
|
||||
```ucm
|
||||
scratch/main tmp> builtins.merge
|
||||
scratch/main tmp> ls builtin
|
||||
scratch/main> builtins.merge builtins
|
||||
scratch/main> ls builtins
|
||||
```
|
||||
|
@ -1,13 +1,11 @@
|
||||
The `builtins.merge` command adds the known builtins to a `builtin` subnamespace within the current namespace.
|
||||
The `builtins.merge` command adds the known builtins to the specified subnamespace within the current namespace.
|
||||
|
||||
```ucm
|
||||
☝️ The namespace .tmp is empty.
|
||||
|
||||
.tmp> builtins.merge
|
||||
scratch/main> builtins.merge builtins
|
||||
|
||||
Done.
|
||||
|
||||
.tmp> ls builtin
|
||||
scratch/main> ls builtins
|
||||
|
||||
1. Any (builtin type)
|
||||
2. Any/ (2 terms)
|
||||
|
Loading…
Reference in New Issue
Block a user