広告
イベントの説明
- モナド概論 @bleis
- ハンズオン「Maybe, Writer, Stateモナドを実装してみよう!」
- LT1 vvakame : すごいHaskellたのしく学ぼうの何か
- LT2 otf : C# で作ったモナドのような何か
- LT3 tomy_kaira : 未題
- LT....
- hiratara 「モナモナ言うモナド入門」
- mzp 「CoqによるMaybeモナドを証明(+ Coq入門)」
- y_taka_23「CoqによるKleisli構成の説明(仮)」
- t6s「モッジとワドラーの話」
- uskz 「余モナド」
発表者
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。
広告