unison/unison-src/transcripts/update-term-with-alias.md

26 lines
215 B
Markdown
Raw Permalink Normal View History

2023-11-07 21:46:14 +03:00
```ucm
scratch/main> builtins.merge
2023-11-07 21:46:14 +03:00
```
```unison
foo : Nat
foo = 5
bar : Nat
bar = 5
```
```ucm
scratch/main> add
2023-11-07 21:46:14 +03:00
```
```unison
foo : Nat
foo = 6
```
```ucm
scratch/main> update
scratch/main> view foo bar
2023-11-07 21:46:14 +03:00
```