Michał Łępicki

@erszcz > For the record, there was a bidirectional typing talk at this year's SIGPLAN Erlang Workshop - https://www.youtube.com/watch?v=MAerjPQUKQQ - but I cannot find the implementation, it might not be...

It's a small nit but I think the issue description is misleading or outdated: > Right now the distrobox's containers are created in privileged mode Currently podman boxes are unprivileged...

gsettings set org.pantheon.terminal.settings tab-bar-behavior "Hide When Single Tab"

[Here's where the error is defined](https://github.com/gleam-lang/gleam/blob/1baa116fc0facd4eacee7f614f15623f85ae7d0a/compiler-core/src/error.rs#L1813). The message was a bit more general but was changed to mention "case expression" in https://github.com/gleam-lang/gleam/commit/a8340ba909b64ed26a1d1604fdb936677b1978f6 . [Here is where it is reported for...

What about something like this? Last part of the imported module in the type, full module name on mouse hover (span `title` attribute) 

Louis will decide but here are my 2 cents: The package would be mostly needed for hyperlinks? I was thinking it may be easier to implement this without hyperlinks for...

Here is P. Sestoft: ML pattern match compilation and partial evaluation: http://dotat.at/tmp/match.pdf

Paper mentioned in SPJ's talk: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/gadtpm-acm.pdf edit: that was the old one, here is the new approach he recommends: https://www.microsoft.com/en-us/research/publication/lower-your-guards-a-compositional-pattern-match-coverage-checker/

SPJ's talk got published: https://www.youtube.com/watch?v=SWO5OzSxD6Y

I tried to hack on the "half-way" solution mentioned earlier, unfortunately Rust defeated me for now, but I believe [this](https://github.com/gleam-lang/gleam/blob/d7f6ed1f12b9ecccf61ef422a60747f1e10742ef/compiler-core/src/type_/expression.rs#L613) is a good place to start. If `kind: AssignmentKind` is...