Sam Caldwell 45425eb68d Make True and False types, and Bool an alias for the union		2023-02-10 16:46:11 -05:00
..
examples	working version of with-facets	2023-02-10 16:46:11 -05:00
scribblings	clarify execution order	2023-02-10 16:46:11 -05:00
syndicate	Make True and False types, and Bool an alias for the union	2023-02-10 16:46:11 -05:00
tests	Make True and False types, and Bool an alias for the union	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