summaryrefslogtreecommitdiff
path: root/docs/design/interfaces.md
AgeCommit message (Collapse)Author
2024-11-29docs: Reduce typo count (#5671)Bruce Mitchener
Co-authored-by: Ellie Hermaszewska <ellieh@nvidia.com>
2024-10-25Swap 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-24Fix a few documentation typos (#5396)cheneym2
2024-06-10Fix typos in the docs (#4322)Anders Leino
2017-09-13Add an initial design document on interfacesTim 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.