Projects with this topic
Sort by:
-
A Haskell package for constructing finite categories and usual constructions on them.
Updated
Nouveau runner d'instance disponible. Tests et retours appréciés. Documentation sur https://dsi.utc.fr/dsi_doc_user/outils-de-developpement/forge-logiciels-gitlab/
A Haskell package for constructing finite categories and usual constructions on them.