GitHub - aj3189/picalc: An interpreter for the pi calculus

aj3189 / picalc Public

An interpreter for the pi calculus

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Makefile		Makefile
bools.f		bools.f
core.cmi		core.cmi
core.cmo		core.cmo
core.ml		core.ml
core.mli		core.mli
f		f
infinitepong.f		infinitepong.f
lexer.cmi		lexer.cmi
lexer.cmo		lexer.cmo
lexer.ml		lexer.ml
lexer.mll		lexer.mll
main.cmi		main.cmi
main.cmo		main.cmo
main.ml		main.ml
parser.cmi		parser.cmi
parser.cmo		parser.cmo
parser.ml		parser.ml
parser.mli		parser.mli
parser.mly		parser.mly
parser.output		parser.output
support.cmi		support.cmi
support.cmo		support.cmo
support.ml		support.ml
support.mli		support.mli
syntax.cmi		syntax.cmi
syntax.cmo		syntax.cmo
syntax.ml		syntax.ml
syntax.mli		syntax.mli
test.f		test.f