Merge pull request #7741 from mrkline/hoare

Add hoare package
This commit is contained in:
Jens Petersen 2025-05-03 10:25:58 +08:00 committed by GitHub
commit ec13443457
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -296,6 +296,9 @@ packages:
"Tushar Adhatrao <tusharadhatrao@gmail.com> @tusharad":
- ollama-haskell
"Matthew Kline <matt@bitbashing.io> @mrkline":
- hoare
"Matthieu Monsch <mtth@apache.org> @mtth":
- flags-applicative
- more-containers