haskell-jp / atcoder-lang-updates #7 at 2023-04-08 09:34:27 +0900

cojna
2023-04-08 09:34:27 +0900
圏論系ライブラリは free を入れ忘れてました。transitive dependencyとしては入ってはいるものです
gksato
2023-04-08 10:05:37 +0900
圏論系で便利であるものとして際たるものなので他の圏論系入れるならこいつ入れない手はない気がしますね