3 commits

Author	SHA1	Message	Date
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