aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/poly (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* Local binding names for (co|indexed-)?monads are now explicitly set.Eduardo Julian2020-05-173-6/+5
|
* Moved polytypic code generators to their own branch.Eduardo Julian2019-09-073-0/+600