unison/unison-src/transcripts/contrabilities.md

mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 02:25:39 +03:00
```ucm:hide
scratch/main> builtins.merge
```

```unison
f : (() -> a) -> Nat
f x = 42
```
Added a transcript showing retained ability variables 2021-08-19 23:46:50 +03:00			```ucm:hide
Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> builtins.merge`
Added a transcript showing retained ability variables 2021-08-19 23:46:50 +03:00			```

			```unison
tweak to transcript 2023-07-24 20:36:22 +03:00			`f : (() -> a) -> Nat`
Added a transcript showing retained ability variables 2021-08-19 23:46:50 +03:00			`f x = 42`
			```