| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-11-29 | docs: Reduce typo count (#5671) | Bruce Mitchener | |
| Co-authored-by: Ellie Hermaszewska <ellieh@nvidia.com> | |||
| 2024-10-25 | Swap the term StdLib with Core-Module or Standard-Module in documents (#5414) | Jay Kwak | |
| This PR is limited to documents. All use of "Standard library" or "StdLib" are replaced with either "core module" or "standard modules", depending on the context. | |||
| 2024-10-24 | Fix a few documentation typos (#5396) | cheneym2 | |
| 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. | |||
