Merge pull request #6881 from Lysxia/diff-loc

Add diff-loc
This commit is contained in:
Dan Burton 2023-02-09 13:46:57 -05:00 committed by GitHub
commit 083c531d94
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -634,6 +634,7 @@ packages:
"Li-yao Xia <lysxia@gmail.com> @Lysxia":
- ap-normalize
- boltzmann-samplers
- diff-loc
- first-class-families
- fcf-family
- generic-data