GitHub repository: kcaliban/dual-session
Primary language: Agda
Description: Exploration of session type duality