Type-checker and interpreter for intuitionistic session types written in Go
Primary LanguageGoGNU General Public License v3.0GPL-3.0