HaskellたんとRubyたんとCoqたん、投下します

左がHaskellたん、右がRubyたんです
左がHaskellたん、右がRubyたんです

(さらに…)