Guard newGiven calls against CoEvBindsVar to prevent GHC panic on ill-kinded types#133
Open
martijnbastiaan with Copilot wants to merge 2 commits into
Open
Guard newGiven calls against CoEvBindsVar to prevent GHC panic on ill-kinded types#133martijnbastiaan with Copilot wants to merge 2 commits into
martijnbastiaan with Copilot wants to merge 2 commits into
