summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_run
Commit message (Expand)AuthorAgeFilesLines
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-293-3/+3
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-3/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-176-0/+34