2013-02-27から1日間の記事一覧
ダウンロードしてインストールするだけ。 しかし、これをやるとpre-compiledなAgdaをインストールできない(特にWindows。pre-compiled AgdaがHaskell Platformを入れるから。)。 まあ、しかしHaskell Platform入れてればcabalで簡単にインストールできるか…
ダウンロードしてインストールするだけ。 しかし、これをやるとpre-compiledなAgdaをインストールできない(特にWindows。pre-compiled AgdaがHaskell Platformを入れるから。)。 まあ、しかしHaskell Platform入れてればcabalで簡単にインストールできるか…