danielcontro/agda-session-types

Repository containing an implementation of session types in Agda for the Type Theory course of the MSc in Computer Science at the University of Padua

MIT