-
Notifications
You must be signed in to change notification settings - Fork 10
Open
Description
Collecting here the different issues (potentially closed for now) about the design:
- Local definitions Local definitions:
letbindings in terms and processes #17 - Annotations on channel allocations Annotations on channel allocation #24
- Sequential
newSequentialnew#28 - Multi-sided
newMultisidednew#4 - Parallel prefixes #
Metadata
Metadata
Assignees
Labels
No labels