| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-06-10 | Fix typos in the docs (#4322) | Anders Leino | |
| 2017-09-13 | Add an initial design document on interfaces | Tim Foley | |
| This covers interfaces, generics, and associated types - hopefully with enough detail that we can start writing up example programs that we believe should compile. | |||
