GitHub - alexj136/gvcalc: An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"

Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
examples		examples
src		src
.gitignore		.gitignore
Setup.hs		Setup.hs
gvcalc.cabal		gvcalc.cabal
stack.yaml		stack.yaml

About

An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"