Glean Type Checking Is Just There Now

I definitely feel like Glean is the project which popularly popularized the main stream at least on our niche. If we can just have a sort of knock-on effect of you know that thing I said earlier if like oh you can't type OTP you can't types Erlang that's such a huge amount of value coming out of there. Even when they've got finishes even if they're wildly successful and they've got all the typing they could ever want it's still going to be very different experience in elixir, gleam and gleeing. It would definitely be interesting to see how we go from here also like with types on the beam.