2017-04-23から1日間の記事一覧
Ubuntu 16.04 に Agda をインストールする Ubuntu 16.04 上に Agda と推奨開発環境の Emacs をインストールします。 なお Emacs の設定を簡単に済ませるために Spacemacs を使用します。 Spacemacs を使用しない場合は Agda 2 Readme にしたがって Emacs の…
Ubuntu 16.04 に Agda をインストールする Ubuntu 16.04 上に Agda と推奨開発環境の Emacs をインストールします。 なお Emacs の設定を簡単に済ませるために Spacemacs を使用します。 Spacemacs を使用しない場合は Agda 2 Readme にしたがって Emacs の…