そのアプローチだと加算とかは作れるけど、 == とかが作れなそう

2:11 AM

Equal<_1, _1> == _1 Equal<_2, _2> == _1 Equal<_1, _0> == _0 (edited)

2:11 AM

こういうことができないと型で構成した数の中で繰り返し計算とかができないから

2:11 AM

掛け算の結果とか除算の結果とかひたすら無限に全部の組み合わせを定義することに

2:12 AM

ん、足し算すら無理か？