omochimetaru 8/15/2018 3:22 PM

証明言語とかだとできそうだけどね

3:22 PM

型パラメータの代わりに値の制約式みたいなのが書けるやつ。 (edited)