Paul Chiusano
Paul Chiusano
Cool. On Share, the minimap also has focus by default and the arrow keys skip you to the next definition up or down. Here's a video. Though I think the...
Was reminded of this issue thanks to #822 though I think they are separate issues.
Also, hi @b-studios (found Jonathan's GH handle)
That’s great, thanks very much for those references @b-studios. Effekt looks very cool btw. Will do some reading and post updates here. Also feel free to come by the #contrib...
Some notes: ```haskell synthesizeWanted tm@(Term.Apps' f args) = do -- ->EEEEE (ft, fwant) {IO} ())` and `i` will be `('{g} () ->{g} ())` for a fresh existential `g`. This seems...
Dan and I talked about this on a recent call. At first I was thinking "let's get rid of the slack variables" and instead do #3753. But @dolio pointed out...
This is (for better or worse) as designed. The syntax doesn't know what the user intends to be a free variable that's a wildcard in the example and what the...
I think this is as simple as marking these as `Visible`, right? Then they should get autocompleted by `help` like the other commands.
@aryairani flagged this for you since it should be a trivial fix and it might not already be on your radar. If it is already captured somewhere, you can close.