変数/関数定義 Definition 名前 (:型) := 定義. (* 最後ピリオド *) Definition three : nat := 3. Definition three' := 3. := で定義。 型は省略出来る。(型推論が効く場合) 引数のない関数か、単なる定数の区別が私には出来ません。どっかで出来るの? De…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。