メモ
ダウンロードしてインストールするだけ。 しかし、これをやるとpre-compiledなAgdaをインストールできない(特にWindows。pre-compiled AgdaがHaskell Platformを入れるから。)。 まあ、しかしHaskell Platform入れてればcabalで簡単にインストールできるか…
ダウンロードしてインストールするだけ。 しかし、これをやるとpre-compiledなAgdaをインストールできない(特にWindows。pre-compiled AgdaがHaskell Platformを入れるから。)。 まあ、しかしHaskell Platform入れてればcabalで簡単にインストールできるか…