Design proposals: Type aliases and Bound callable references

Language Design
1

We’ve published a repo with two more proposals: Type aliases and Bound callable references:

The discussions are to be held in the (pre-created) issues in this repo