Projects with this topic
Sort by:
-
A Haskell package for constructing finite categories and usual constructions on them.
Updated
Pour protéger votre compte, pensez à activer l'authentification multifacteur si vous ne l'avez pas fait : aide MFA sur le site DSI. Le MFA sera prochainement rendu obligatoire.
A Haskell package for constructing finite categories and usual constructions on them.