2012-12-06 ちなみに 雑多 ML/LL Advent Calendarのネタとしてはいくつか思いついたものがあって、 Linear Logic Linear Lisp(別のAdvent Calendarで出たようなので避けて賢明か) Module Type(Coqの) Moonlit Lo...げふんげふん なんだったか忘れたね。