2012-12-01から1ヶ月間の記事一覧

飽きたので

デザインを変えた。 白い。 まあ白い方がいいかなあ、なんて。

ちなみに

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

LL/ML Advent Calendar 6日目: gaLLinaで証明する

Coq

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