2003-01-07 [長年日記]
λ. システムプログラミング
X11。今時XLoadFontやXDrawStringなんて特殊な目的でしか使わないのだから、FontSet系やXmb系のAPIの方を教えれば良いのに、と思わなくもない。
λ. ぎゃー
……とか言っていても仕方がないので、とりあえずダミーのClosedFunctorialExpressionを受け取れるようにして、length=prl(zero, succ.pi2) の型が「list(*a) -> nat」である事が計算できるようになった。ただ、これはあまりにも汚いので何とかしたいけど、木曜日に間に合わせるためには四の五の言ってられないか……
[ツッコミを入れる]
