summaryrefslogtreecommitdiffstats
path: root/docs/proposals/010-new-diff-type-system.md
Commit message (Expand)AuthorAge
* Remove the docs/proposals directory (#6313)Anders Leino2025-02-10
* Swap the term StdLib with Core-Module or Standard-Module in documents (#5414)Jay Kwak2024-10-25
* Update 010-new-diff-type-system.mdYong He2024-09-05
* Proposal: A simpler and more flexible `IDifferentiable` system (#4865)Sai Praveen Bangaru2024-08-20