Paul Chiusano
Paul Chiusano
Phase 1 is do some timeboxed design jam / brainstorming on short + long term fixes for this.
This will supercede #2023
@aryairani it seems like we can create a PPE from the results of this function (actually we can create two PPEs, one suffixed and one not, which is all the...
Oh okay, my bad, somehow #7 didn't jump out at me as likely being the same root issue. In our case, the fuzzy matching we are doing is some hand-tuned...
I kinda like idea of integrating this into CI to make sure the one liner on the website actually works. I'll have a go at that. Going to convert back...
@dolio so my proposal is this - `bug` and `todo` should behave like this: ``` unique type Bug = unique type Todo = bug : x -> y bug x...
What we could do in that situation is just have `Exception.catch` be defined to also catch the exception thrown by `bug` and `todo`. But `Exception.catch` would be compiled to a...
Okay we discussed and settled on a new primitive: ``` -- evaluate and catch all exceptions, can be used to implement `bracket` etc io.tryEval : '{IO} a ->{IO} Either Failure...
Excited for this! Question: suppose I launch ucm and then immediately cd to `foo.bar.baz`. Do I still have to pay for loading of the root branch to do anything there?
@ChrisPenner cool, thanks!