技術書典7: NikoBook 詳細
ラムダ計算の入門・解説書を出す予定
techbookfest.org