From 0afaf5091ed7e54131734f57857d24c81da004f8 Mon Sep 17 00:00:00 2001 From: Seasawher Date: Tue, 12 Nov 2024 21:55:19 +0900 Subject: [PATCH] =?UTF-8?q?`HMul`=20=E5=9E=8B=E3=82=AF=E3=83=A9=E3=82=B9?= =?UTF-8?q?=E3=81=8C=E7=9B=AE=E6=AC=A1=E3=81=AB=E6=BC=8F=E3=82=8C=E3=81=A6?= =?UTF-8?q?=E3=81=84=E3=81=9F=E3=81=AE=E3=81=A7=E8=BF=BD=E5=8A=A0=E3=81=99?= =?UTF-8?q?=E3=82=8B?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- booksrc/SUMMARY.md | 1 + 1 file changed, 1 insertion(+) diff --git a/booksrc/SUMMARY.md b/booksrc/SUMMARY.md index 1c5c1d5..851bb04 100644 --- a/booksrc/SUMMARY.md +++ b/booksrc/SUMMARY.md @@ -87,6 +87,7 @@ - [Functor: ファンクタ](./Reference/TypeClass/Functor.md) - [GetElem: n番目の要素を取得](./Reference/TypeClass/GetElem.md) - [HAdd: + のための記法クラス](./Reference/TypeClass/HAdd.md) + - [HMul: * のための記法クラス](./Reference/TypeClass/HMul.md) - [Inhabited: 有項にする](./Reference/TypeClass/Inhabited.md) - [OfNat: 数値リテラルを使用](./Reference/TypeClass/OfNat.md) - [Repr: 表示方法を指定](./Reference/TypeClass/Repr.md)