関数型プログラミング言語「Agda」の研修コースを産総研が開催 - スラッシュドット・ジャパン (via anbt) (via erewwa) (via rpm99) (via hepton-rk) (via puruhime) (via ikurakun) (via yaruo) 2010-05-18 (via gkojay) (via oosawatechnica)