Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
test_case		test_case
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
TODO		TODO
complextype.ml		complextype.ml
execution.ml		execution.ml
lexer.mll		lexer.mll
main.ml		main.ml
parser.mly		parser.mly
simpletype.ml		simpletype.ml
simpletype.mli		simpletype.mli
syntax.ml		syntax.ml
syntax.mli		syntax.mli
test.pi		test.pi

Repository files navigation

pi-calculus

type system for pi calculus

About

type system for pi calculus

2 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages