aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/poly (unfollow)
Commit message (Collapse)AuthorFilesLines
2020-06-11Updated test for function optimization.Eduardo Julian1-19/+21
2020-05-17Local binding names for (co|indexed-)?monads are now explicitly set.Eduardo Julian3-6/+5
2019-09-07Moved polytypic code generators to their own branch.Eduardo Julian3-0/+600