aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/LinearTypes.hs
Commit message (Expand)AuthorAgeFilesLines
* Display linear/multiplicity arrows correctly (#1238)Krzysztof Gogolewski2020-12-161-0/+14