1と2のリビジョン間の差分
⇤ ← 2013-07-16 16:58:24時点のリビジョン1 →
サイズ: 786
編集者: Kissge
コメント:
← 2013-10-17 18:04:39時点のリビジョン2 → ⇥
サイズ: 645
編集者: grafi
コメント:
削除された箇所はこのように表示されます。 追加された箇所はこのように表示されます。
行 25: 行 25:
<!--末尾の[[HogeClassCategory]]を、関係する講義ページの末尾に表示されているカテゴリ名で置き換える。-->

Curry処理系の導入

  • なんか忘れてるところあるかも
  • Ubuntu じゃない人は各自で頑張って（？）
  • 我流でやろうとして 1 + 2 に失敗してる人も気にせずこれで上書きしたら何とかなるよ（？）
sudo apt-get install darcs
sudo apt-get install autoconf
sudo apt-get install noweb
cd
darcs get --lazy http://danae.uni-muenster.de/~lux/curry/darcs/curry
cd curry
autoconf
./configure
sudo make install

FLProgClassCategory

Kissge/Curry処理系の導入 (最終更新日時 2013-10-21 15:09:56 更新者 Kissge)