[utility/monoid] 名前変更 - Githubissues

zawa-tin / zawatins-library

MIT License

0 stars 0 forks source link

[utility/monoid] 名前変更 #234

Closed zawa-tin closed 1 year ago

zawa-tin commented 1 year ago

依存ファイルをこれ以上増やすとまずい...

~~[x] #221 ~~
[x] #226
[x] ドキュメントのタイトルをhogeMonoid (hogeモノイド)にする
[x] namespaceの閉じ括弧に謎のセミコロンがついているので外して // namespace zawaにする