Skip to content

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

Use functional dependencies rather than type families to enable SPECIALISE

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

Job Run time
2m 33s
2m 47s
18s
2m 11s
5m 15s
2m 19s
2m 7s
4m 32s
2m 5s
3m 31s
6m 30s
4m 29s
3m 49s
4m 13s
3m 11s
3m 3s
4m 16s
3m 31s
1m 25s
4m 39s
5m 50s
3m 55s
4m 51s
6m 10s
3m 0s
3m 4s
3m 6s
1h 36m 40s