プログラミング言語Idrisの勉強会をやりました。 テーマを勢いよく選んだあとConnpassのイベントページを作りながら「これ参加してくれる人いるのだろうか…？」と不安になっていたのですが、定員いっぱいまで申し込みがあり、更に参加率も非常に高く、非常に…