libsesstype

Internal tree representation of Session Types, core module of Session C.

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
build		build
debian		debian
include/sesstype		include/sesstype
lib		lib
src		src
.clang_complete		.clang_complete
.gitignore		.gitignore
Common.mk		Common.mk
Makefile		Makefile
README.md		README.md
Rules.mk		Rules.mk

Navigation Menu