Paul Chiusano
Paul Chiusano
Hit this again. It makes my otherwise lovely code... ... turn into this monstrosity :)  Gak!
Suspect the issue is we need to normalize variable introduction order in the forall. If you call the variables f and b instead of e and a then it will...
The fix is to sort variables by the path where they first occur in the type, then introduce them in that order in the forall.
A simple fix for this: when doing a search, try all the permutations of the type variable introduction order. Technically it's exponential, but type signatures written by humans tend not...
Looks good but I think you want to use [`textToTokens`](https://hackage.haskell.org/package/aeson-2.2.3.0/docs/src/Data.Aeson.Decoding.Text.html#textToTokens)
That second ticket is fixed as of latest release of JSON library - by default, trailing characters aren't allowed, but there are versions of functions that allow trailing characters if...
[Contribution for the fixes on number parsing](https://share.unison-lang.org/@unison/json/contributions/6/changes/added-term-core.Json.internal.numberPattern)
Noodling on this some more, another approach is: ```Haskell -- open to better name here unique type Forget a = Forget a ``` With the property that `Forget x ==...
@matthughes WDYT of the "minimap" feature on Share? Is it that you want a similar thing in ucm-desktop, too? On Share, if you open something that already exists, it also...