unison/unison-src/transcripts/check873.md
2024-06-25 11:11:07 -07:00

18 lines
263 B
Markdown

See [this ticket](https://github.com/unisonweb/unison/issues/873); the point being, this shouldn't crash the runtime. :)
```ucm:hide
scratch/main> builtins.merge
```
```unison
(-) = builtin.Nat.sub
```
```ucm
scratch/main> add
```
```unison
baz x = x - 1
```