4 Commits

Author	SHA1	Message	Date
Sam Caldwell	4808004d64	consolidate effect checking to a single key	2023-02-10 16:46:11 -05:00
Sam Caldwell	b9f655766f	typed: add default types to constructor fields and alternate actor ... typechecking path Default types for fields means we can elaborate a binding pattern without a current communication type. Then a potential communication type can be the output of type checking an actor, that is checked when it is instantiated, such as in a dataspace or other context.	2022-05-03 11:51:06 -04:00
Sam Caldwell	4f6089c805	more docs and cleanup	2021-05-04 17:15:34 -04:00
Sam Caldwell	59183b5fe9	reorganize typed syndicate project structure	2021-04-21 10:39:30 -04:00

Renamed from racket/typed/core-expressions.rkt (Browse further)