Add rerefined

This commit is contained in:
Ben Orchard 2024-05-27 08:31:59 +01:00
parent af9cb768a3
commit 5bdd522e7c

View File

@ -5277,6 +5277,7 @@ packages:
- symparsec
- type-level-bytestrings
- type-level-show
- rerefined
- generic-type-asserts
- generic-type-functions
- generic-data-functions