Formality x Juvix Working Group

tags: Meeting
  • Location: Zoom
  • Date: 22 October 2019 18:00 PM CEST

Agenda

  • Sync on who is doing what (backends-wise, in general)
  • Common interaction net representation format

Notes

Tasks

  • (to be written)
Select a repo