Agda Implementors' Meeting XXXVI

Allais, G. (Speaker)

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

Period	10 May 2023 → 16 May 2023
Event type	Workshop
Location	Delft, NetherlandsShow on map
Degree of Recognition	International