LT駆動開発 04 - いつもどおりいこう
https://github.com/LTDD/Sessions/wiki/LT%E9%A7%86%E5%8B%95%E9%96%8B%E7%99%BA04
LTを毎月することで、自分の考えを整理することで勉強しようというIT勉強会。LT駆動開発。
南山まさかず
@minamiyama1994
「すごいMonad入門」の影に隠れてますが今日僕「すごいCoq入門」ってのも発表したんですよ slideshare.net/masakazuminami… #LT駆動
2014-06-07 11:49:35