久しぶりに訪れたら、随分変わっていた。使いやすくなってるみたい。 サーバーにログインができなくなって、あれと思ったら、キーファイルを登録する方式に変更になったようだ。

まだ、University of Nijmegenにつながらない。 どうなってるんだ？

http://www.geocities.jp/lethevert/softwares/clean/gettingStarted13.html 「(13)型推論」を書きました。 初心者のうちに、もっとも混乱させられるものの一つ、型エラーについて、その手がかりになるような説明を書いたつもり。