4 Commits

Author	SHA1	Message	Date
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	507f7a28f7	Move TBN/SBN-related code out to tbn.rkt.	2023-03-26 22:53:12 +02:00