mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 10:35:57 +03:00
Port emptyCodebase transcript to projects
This commit is contained in:
parent
6a1ccd5a64
commit
a92885a8bd
@ -13,15 +13,15 @@ scratch/main> ls
|
|||||||
Technically, the definitions all exist, but they have no names. `builtins.merge` brings them into existence, under the current namespace:
|
Technically, the definitions all exist, but they have no names. `builtins.merge` brings them into existence, under the current namespace:
|
||||||
|
|
||||||
```ucm
|
```ucm
|
||||||
scratch/main foo> builtins.merge
|
scratch/main> builtins.merge lib.builtins
|
||||||
scratch/main foo> ls
|
scratch/main> ls lib
|
||||||
```
|
```
|
||||||
|
|
||||||
And for a limited time, you can get even more builtin goodies:
|
And for a limited time, you can get even more builtin goodies:
|
||||||
|
|
||||||
```ucm
|
```ucm
|
||||||
scratch/main foo> builtins.mergeio
|
scratch/main> builtins.mergeio lib.builtinsio
|
||||||
scratch/main foo> ls
|
scratch/main> ls lib
|
||||||
```
|
```
|
||||||
|
|
||||||
More typically, you'd start out by pulling `base`.
|
More typically, you'd start out by pulling `base`.
|
||||||
|
@ -15,27 +15,26 @@ scratch/main> ls
|
|||||||
Technically, the definitions all exist, but they have no names. `builtins.merge` brings them into existence, under the current namespace:
|
Technically, the definitions all exist, but they have no names. `builtins.merge` brings them into existence, under the current namespace:
|
||||||
|
|
||||||
```ucm
|
```ucm
|
||||||
☝️ The namespace .foo is empty.
|
scratch/main> builtins.merge lib.builtins
|
||||||
|
|
||||||
.foo> builtins.merge
|
|
||||||
|
|
||||||
Done.
|
Done.
|
||||||
|
|
||||||
.foo> ls
|
scratch/main> ls lib
|
||||||
|
|
||||||
1. builtin/ (469 terms, 74 types)
|
1. builtins/ (469 terms, 74 types)
|
||||||
|
|
||||||
```
|
```
|
||||||
And for a limited time, you can get even more builtin goodies:
|
And for a limited time, you can get even more builtin goodies:
|
||||||
|
|
||||||
```ucm
|
```ucm
|
||||||
.foo> builtins.mergeio
|
scratch/main> builtins.mergeio lib.builtinsio
|
||||||
|
|
||||||
Done.
|
Done.
|
||||||
|
|
||||||
.foo> ls
|
scratch/main> ls lib
|
||||||
|
|
||||||
1. builtin/ (643 terms, 92 types)
|
1. builtins/ (469 terms, 74 types)
|
||||||
|
2. builtinsio/ (643 terms, 92 types)
|
||||||
|
|
||||||
```
|
```
|
||||||
More typically, you'd start out by pulling `base.
|
More typically, you'd start out by pulling `base.
|
||||||
|
Loading…
Reference in New Issue
Block a user