-
Notifications
You must be signed in to change notification settings - Fork 17
Pull requests: clash-lang/ghc-typelits-natnormalise
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add powPositive rule to prove 1 <= base^exp for any literal base >= 1
#134
opened Apr 23, 2026 by
Copilot
AI
Loading…
Guard newGiven calls against CoEvBindsVar to prevent GHC panic on ill-kinded types
#133
opened Apr 23, 2026 by
Copilot
AI
Loading…
Do not emit prior emitted
KnownNat constraints
#122
opened Jan 17, 2026 by
rowanG077
Member
Loading…
solve more inequalities involving exponentiation
#19
opened Aug 18, 2018 by
strake
Contributor
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.