Skip to content

Add type class roots to weeder and remove unused type classes.#1767

Merged
locallycompact merged 33 commits intomasterfrom lc/remove-type-class-rootsJan 2, 2025

Commits

Commits on Dec 31, 2024