部分関数禁止の理由にカリー・ハワード同型対応の観点からの補足を追加#2334

Seasawher merged 4 commits into

mainlean-ja/lean-by-example:mainfrom

copilot/add-explanation-for-partial-functionslean-ja/lean-by-example:copilot/add-explanation-for-partial-functionsCopy head branch name to clipboard