This website requires JavaScript.
Explore
Help
Sign In
unisonweb
/
unison
Watch
1
Star
0
Fork
0
You've already forked unison
mirror of
https://github.com/unisonweb/unison.git
synced
2024-09-11 02:25:39 +03:00
Code
Issues
Projects
Releases
Wiki
Activity
trunk
unison
/
unison-src
/
transcripts
/
contrabilities.md
9 lines
90 B
Markdown
Raw
Permalink
Normal View
History
Unescape
Escape
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
```
Reference in New Issue
Copy Permalink