概要 Coqの型クラスはレコード。普通の型と同様に使える。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。