Avatar
omochimetaru 8/15/2018 3:22 PM
証明言語とかだとできそうだけどね
3:22 PM
型パラメータの代わりに値の制約式みたいなのが書けるやつ。 (edited)