4 Commits

Author	SHA1	Message	Date
Sam Caldwell	a0e8b59299	make Int a union type of Zero and NonZero	2023-02-10 16:46:11 -05:00
Sam Caldwell	4808004d64	consolidate effect checking to a single key	2023-02-10 16:46:11 -05:00
Sam Caldwell	690f9e65a8	more docs and cleanups	2021-05-05 12:52:07 -04:00
Sam Caldwell	59183b5fe9	reorganize typed syndicate project structure	2021-04-21 10:39:30 -04:00

Renamed from racket/typed/for-loops.rkt (Browse further)