Sam Caldwell a0e8b59299 make Int a union type of Zero and NonZero		2023-02-10 16:46:11 -05:00
..
examples	add WritesField effect	2023-02-10 16:46:11 -05:00
scribblings	clarify execution order	2023-02-10 16:46:11 -05:00
syndicate	make Int a union type of Zero and NonZero	2023-02-10 16:46:11 -05:00
tests	make Int a union type of Zero and NonZero	2023-02-10 16:46:11 -05:00
.gitignore	gitignore	2023-02-10 16:46:11 -05:00
Makefile	notes in Makefile	2021-01-11 11:49:33 -05:00
core.rkt	fixups for package installation	2019-08-26 11:08:30 -04:00
info.rkt	typed: update info.rkt	2022-07-19 09:32:10 -04:00
leader-and-seller.pml	verify request/response property in leader-and-seller	2020-03-10 11:44:20 -04:00