Zulip Chat Archive

Stream: Lean Together 2024

Topic: Social Hour meeting notes

namibj (Jan 11 2024 at 17:48):

Short/full error message exposing to VSCode for e.g. error lens inline error message text to be readable (short version), but infoview having the comfy multi-line error message.

namibj (Jan 11 2024 at 17:52):

Rust/Haskell style error codes for convenient reference in communication/looking up in potential Haskell(/PHP)-style wiki to discuss with other users

Last updated: May 02 2025 at 03:31 UTC