ML/LL Advent Calendarのネタとしてはいくつか思いついたものがあって、 Linear Logic Linear Lisp（別のAdvent Calendarで出たようなので避けて賢明か） Module Type（Coqの） Moonlit Lo...げふんげふん なんだったか忘れたね。

この記事はLL/ML Advent Calendarの6日目の記事である。 今年はなかなかに なごやこわい なアドベントカレンダーが出てきたなあ、とかつぶやいたら気づいたら犠牲参加者になっていた。 やっぱり なごやこわい 。 LL名古屋に似たようなのがあるようだが？ あ…