3/5〜6 に、リリカル合宿に参加してきました！ 朝 7時に電車乗って、開場よりちょっと前に到着。喫茶店でティラミス食べた。 F#について (bleis) → コンピューテーション式 (bleis → mzp) → モナドについて (mzp) → Coq について + option がモナドであるこ…