5 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	45425eb68d	Make True and False types, and Bool an alias for the union	2023-02-10 16:46:11 -05:00
Sam Caldwell	55477446c2	typed: more string formatting prims	2022-02-23 11:49:55 -05:00
Sam Caldwell	59183b5fe9	reorganize typed syndicate project structure	2021-04-21 10:39:30 -04:00

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