台風が来てるなか、ぐーすか寝てた。 ベランダの鳩は健気にも強風のなかじっとしてた。でも抱卵の時期が長過ぎるような気がしないでもない。卵生きてんのか。 Inductive good_day : day -> Prop := | gd_sat : good_day saturday | gd_sun : good_day sunday…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。