Stream: User interfaces devs & users

Topic: Next meeting on user interfaces: March 21

view this post on Zulip Benjamin Pierce (Mar 21 2023 at 01:17):

Reminder that the next meeting of the discussion group on user interfaces for Coq will take place tomorrow, March 21, from 3-5PM Paris time = 10AM-noon US Eastern. We'll hear two presentations about various aspects of the Language Server Protocol.

view this post on Zulip Emilio Jesús Gallego Arias (Mar 21 2023 at 14:05):

Hi @Benjamin Pierce sorry for that but I'm not sure I got the link to the meeting anywhere

Last updated: Oct 13 2024 at 01:02 UTC