summaryrefslogtreecommitdiff
path: root/docs/users_guide/exts/representation_polymorphism.rst
Commit message (Expand)AuthorAgeFilesLines
* Don't default type variables in type familiessheaf2021-10-261-3/+3
* Reword: representation instead of levitysheaf2021-06-101-0/+146