Skip to content

Use functional dependencies rather than type families to enable SPECIALISE #3059

Use functional dependencies rather than type families to enable SPECIALISE

Use functional dependencies rather than type families to enable SPECIALISE #3059

Job Run time
2m 48s
2m 52s
13m 27s
17s
20m 27s
3m 20s
12m 5s
15m 13s
8m 37s
12m 53s
17m 24s
9m 19s
13m 7s
14m 52s
10m 20s
12m 20s
15m 41s
9m 43s
11m 5s
15m 54s
11m 26s
13m 47s
14m 54s
10m 44s
22m 41s
13m 26s
10m 0s
5h 18m 42s