「数学」をプログラミングするには

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

470: 2024/04/26(金)18:43 ID:hVnzlfRF(1/3) AAS
∃.elim(h, (w) => ((hw) => q))

471: 2024/04/26(金)18:51 ID:hVnzlfRF(2/3) AAS
append (v: Vec t n) (w: Vec t m) : (Vec t (n + m)) :=
[] w => w
x:xs w => x:(append xs w)

473: 2024/04/26(金)22:45 ID:hVnzlfRF(3/3) AAS
Megumin