triallax changed the topic of #numbat to: The Official Numbat channel https://numbat.dev | This channel is publicly logged at https://libera.irclog.whitequark.org/numbat | Please read https://workaround.org/getting-help-on-irc/ if you're new to IRC!
sharkdp has joined #numbat
<sharkdp> achin: Thanks!
<sharkdp> I believe some of the biggest challenges are solved now. Structs work again, datetimes work again. Error reporting is back. We can now type-check all of the existing "standard library" Numbat code (except for a tiny problem with user-defined errors) and all examples. ~95% of all tests are succeeding again.
<sharkdp> The latest state is again online here: https://numbat.dev/type-inference/
sharkdp has quit [Remote host closed the connection]
<achin> very nice