Merge pull request #7436 from raehik/raehik/add-rerefined

Add rerefined
This commit is contained in:
Mihai Maruseac 2024-05-27 06:16:36 -07:00 committed by GitHub
commit 1c8d009907
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

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