Add fcf-family

This commit is contained in:
Li-yao Xia 2023-01-26 13:15:15 +00:00
parent 1cbec77540
commit 1129732f66

View File

@ -635,6 +635,7 @@ packages:
- ap-normalize
- boltzmann-samplers
- first-class-families
- fcf-family
- generic-data
- generic-data-surgery
- generic-functor