3 Commits

Author	SHA1	Message	Date
Sam Caldwell	b8d580faf3	typed: add release LTL operator	2022-06-13 14:38:12 -04:00
Sam Caldwell	f5f15a5728	typed: handle types in spec that aren't explicit in program	2022-03-07 12:39:58 -05:00
Sam Caldwell	59183b5fe9	reorganize typed syndicate project structure	2021-04-21 10:39:30 -04:00

Renamed from racket/typed/ltl.rkt (Browse further)