aboutsummaryrefslogtreecommitdiff
path: root/src/Data
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2025-10-21 13:07:12 +0200
committerTom Smeding <tom@tomsmeding.com>2025-10-21 13:07:12 +0200
commit5b18d768e3119f8c38657772b60b6f66c5b02b64 (patch)
tree557e19dcedcc4d4bfda1a76f369c8a35d6b21f04 /src/Data
parent21905fca1b4eae0469d2bc27db7113cf0e124bc1 (diff)
ghc-typelits-knownnat 0.9.1 fixes the unsoundness againHEADmaster
Diffstat (limited to 'src/Data')
0 files changed, 0 insertions, 0 deletions