Jacob Thomas Errington

Quick update: I did find a workaround with `.flat()` but it's kinda gnarly. ```typescript seq.flat(async function* (x) { yield await f(x) }) ``` Surely `seq.map(f)` would be way nicer. And...

This would be really great to have. Brigitte pointed out that the main challenge will be integrating it with our existing approach for totality checking. It isn't clear how this...

I'm removing this from milestone 1 because it's tricky to implement and not essential for our paper.

I haven't looked closely at this yet, but my suspicion is that the refinement substitution generated by splitting is messing up the names of the variables that were there on...

It turns out that this is a lot more complicated than I first anticipated. The name changes are actually intentional. Beluga can't figure out what the indices of variables appearing...

Hi @d4hines ! Publishing a new release to opam to facilitate installation is on the roadmap. A docker image would also be good to have, but I'm not sure we...

I discussed this issue with Brigitte last week and it genuinely seems to be a bug in unification. Some kind of occurs-check needs to take place to prevent this bad...

Yes, automatic style checking / fixing seems like a tough issue to tackle, tbh. I'm not sure how to handle it.

Following discussion with @pientka yesterday, the answer is basically "yes", but we should be midful of #16 (first-class lets). Presently, let-bindings are simply desugared to case-expressions, which can sometimes make...

Given that this issue relates to the Emacs interactive mode that has been largely replaced by Harpoon, this issue is low priority.