2012-12-01から1ヶ月間の記事一覧
デザインを変えた。 白い。 まあ白い方がいいかなあ、なんて。
ML/LL Advent Calendarのネタとしてはいくつか思いついたものがあって、 Linear Logic Linear Lisp(別のAdvent Calendarで出たようなので避けて賢明か) Module Type(Coqの) Moonlit Lo...げふんげふん なんだったか忘れたね。
この記事はLL/ML Advent Calendarの6日目の記事である。 今年はなかなかに なごやこわい なアドベントカレンダーが出てきたなあ、とかつぶやいたら気づいたら犠牲参加者になっていた。 やっぱり なごやこわい 。 LL名古屋に似たようなのがあるようだが? あ…