aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/poly (unfollow)
Commit message (Expand)AuthorFilesLines
2020-09-16Changed the format of project descriptor files.Eduardo Julian3-5/+5
2020-08-26Download and catch dependencies in Aedifex.Eduardo Julian1-2/+2
2020-07-02Now using the new syntax for variants (even though they still work the old wa...Eduardo Julian3-15/+38
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