課題12 難しすぎ。先人のを参考に丸写し。あとで見直す。http://homepage2.nifty.com/magicant/programmingmemo/coq/byhyp.html http://homepage2.nifty.com/magicant/programmingmemo/coq/bygoal.htmlあらためて読んで、代数的データ型というものをちっとも…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。