2009-09-14から1日間の記事一覧

EoPL reading (95) 2.2 An Abstraction for Inductive Data Type

ええと、色々な意味で理解が微妙なので occurs-free? な試験から再度検討し直す事にしました。

職場にて

実機転送にトライ。 がしかし、/system/lib だの /system/bin だのへの転送は無理な事が分かりました。ある意味堅牢である事は分かったんですが、それでもなんとかしたい場合、どうしたものやら、という事にて以下? android 自分でビルドしつつ gosh および …