Stream: User interfaces devs & users

Topic: Next meeting on user interfaces: March 21

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.

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: Apr 20 2024 at 09:01 UTC