www.docswell.com 第3回 関西日曜数学 友の会(第3回 関西日曜数学 友の会 - connpass)で話したときのスライドです。 Haskellの本や型システムの本で、ラムダ計算に触れているものを見かけます。しかし、それらの本ではラムダ計算に関する記述がどうにも曖…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。