GitHub repository: peterthiemann/dual-session
Primary language: Agda
Created: 2019-11-06T14:00:57Z
Description: Exploration of session type duality