summaryrefslogtreecommitdiff
path: root/docs/design/interfaces.md
AgeCommit message (Expand)Author
2024-10-25Swap the term StdLib with Core-Module or Standard-Module in documents (#5414)Jay Kwak
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