David Pavlík

Haha, thanks for reporting. :D I will look into it when I find some free time (the fix is probably really easy but the release process will altogether take an...

Hi Hans, thank you for the idea but I'm afraid this is probably also beyond the scope of this project… 😞

Hey, yep, this might be useful. Unfortunately, I don't think I have time to implement it now, although it doesn't look hard to do. However, you are free to implement...

Maybe it's due to the cache implementation… Try the common trick of clearing the cache: go to Last.fm (with or without the extension), open console – Ctrl + shift +...

Excuse my incomprehension but I've been thinking about this multiple times and still don't quite get what are (in our case) the reasons/benefits for having a separate function for type...

Thank you for the fix (and also for the amazing library! ❤️) but it looks like the bug persists for lists (and maybe also for some other contexts). Let `bug.ex`...

Hi @erszcz! Thank you for your perspective and sorry for taking it so long for me to respond. I think it was good that you saved @josefs' solver code, cleaned...

Hi! So I've been researching Local Type Inference (LTI) for the past months, and here's what I found out. In essence, the LTI algorithm goes like this. When inferring the...

Hi! I have some progress on the LTI implementation to share. I've implemented the core of LTI into Gradualizer, and while it still needs quite a lot of refactoring and...

Oh, thanks for noticing. Newlines added, editor configured (I though it was already like that but apparently not). And thank you for the review. :)