5 commits

Author	SHA1	Message	Date
Sergiu Ivanov	b8b9fee9ce	Type sbf/state?.	2023-03-29 17:46:53 +02:00
Sergiu Ivanov	ed67927803	Type make-tbf/state.	2023-03-29 01:21:29 +02:00
Sergiu Ivanov	490127593c	Type tbf/state, tbf/state-w, and tbf/state-θ.	2023-03-29 01:16:12 +02:00
Sergiu Ivanov	fa88c15454	Type apply-tbf-to-state.	2023-03-27 23:23:34 +02:00
Sergiu Ivanov	d2e4ab854c	Start tbn.scrbl.	2023-03-26 23:29:51 +02:00