Closed Seasawher closed 2 months ago
独立させると,obtain からリンクを貼ったりできて便利だし,(h2 見出しにリンクを貼ったりするのは危険そう) 探すうえでも便利
rcases は cases の派生ではなくて上位互換として紹介したいので独立している方が楽
独立させると,obtain からリンクを貼ったりできて便利だし,(h2 見出しにリンクを貼ったりするのは危険そう) 探すうえでも便利