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