Skip to content

Rename FunctionnalProgrammingAndCategoryTheory and add migration #1927

Rename FunctionnalProgrammingAndCategoryTheory and add migration

Rename FunctionnalProgrammingAndCategoryTheory and add migration #1927