Park the bus

(typically of an away team) play in a very defensive way.

2017-04-23から1日間の記事一覧

Ubuntu 16.04 に Agda をインストールする

Ubuntu 16.04 に Agda をインストールする Ubuntu 16.04 上に Agda と推奨開発環境の Emacs をインストールします。 なお Emacs の設定を簡単に済ませるために Spacemacs を使用します。 Spacemacs を使用しない場合は Agda 2 Readme にしたがって Emacs の…