Commit ddd83ed

committed

Add RFC for minimal stream interface.

1 parent 43f8f04 commit ddd83edCopy full SHA for ddd83ed

2 files changed

+305

-0

lines changed

text
- 0061-minimal-streams.md
- 0061-minimal-streams
  - subtyping.svg

2 files changed

+305

-0

lines changed

Comments

(0)