削除された内容 追加された内容
Fumiexcel (会話 | 投稿記録)
→‎実装: equational reasoning : 等式推論
219行目:
Eve :: Person Female
Child :: Person Male -> Person Female -> Int -> Person a
</sorucesource>
 
=== 無名関数 ===