Rebecca
Rebecca
If you attempt to `display` the `Abort.abort` function, you'll get the following error: ``` resolve: looked up bad dynamic: 80 ``` The attached transcript will replicate the issue: [displayabort.md](https://github.com/unisonweb/unison/files/9215130/displayabort.md)
This occurred earlier in a Discord call when trying to delete a top-level namespace ,`learn`. The UCM prohibited us from deleting `learn` because terms __inside__ learn referenced other terms __inside__...
The following expression ``` stream10 = Stream.range 0 10 ``` In a watch expression and when `view`ed will render with the arguments reversed ``` 8 | > stream10 ⧩ _...
- [ ] Watch expressions - [ ] IO - [ ] Run command - [ ] How do I debug a Unison program? - [ ] `bug` - [...
Beyond the delayed computation section, this section doesn't need to be read linearly, but other doc sections might link to the doc content here. - [ ] Delayed computations -...
How do unison programmers work together? Discusses dependency management and PR process. - [ ] Pulling libraries - [ ] Updating libraries - [ ] PR creation and review process...
Core dev workflow components you'll likely have open when you're writing unison code - [ ] Reinforce the intro UCM doc from tour - [ ] The Codebase UI -...
Optional part 3 for abilities tutorial. Abilities for Monads users. Builds on the motivation for abilities in part 1 but with an eye towards users who are experienced with monadic...
The second part of the Abilities tutorial is about writing handlers. - [ ] Write an ability together - Potentially change example from effectful `Stream` to something more concrete (contender:...
We'll break the Abilities tutorial into 2+ parts - this first part has the goal of getting users comfortable with their core purpose and usage patterns. Outlined here: https://www.notion.so/Why-and-how-we-use-Abilities-aa656e2303814570946cd072b4c6fb17 -...