2013年02月19日

一通り

おわったはず。

まだこまごまとやることあるけど。

少し頻度上げて書きたいな。

これからたぶんAgdaやることになるし、そのメモとか。

posted by chiguri at 17:46| Comment(0) | TrackBack(0) | 雑多

2013年02月12日

おうふ

今年に入って何も書いてないじゃないか。

まあ、もう少しで一段落つくのでそこで少し書きたいな。

posted by chiguri at 10:42| Comment(0) | TrackBack(0) | 雑多

2012年12月07日

飽きたので

デザインを変えた。

白い。

まあ白い方がいいかなあ、なんて。

posted by chiguri at 10:48| Comment(0) | TrackBack(0) | 雑多

2012年12月06日

ちなみに

ML/LL Advent Calendarのネタとしてはいくつか思いついたものがあって、

  • Linear Logic
  • Linear Lisp(別のAdvent Calendarで出たようなので避けて賢明か)
  • Module Type(Coqの)
  • Moonlit Lo...げふんげふん

なんだったか忘れたね。

posted by chiguri at 20:32| Comment(0) | TrackBack(0) | 雑多

2012年11月14日

よかった

これが最後の学期になりそうだ。

posted by chiguri at 13:59| Comment(0) | TrackBack(0) | 雑多