それと関数型言語勉強中この広告は、90日以上更新していないブログに表示しています。ハンズオン的なものをやりました。チュートリアルの例題を打ち込むだけでも非常に苦労しました。何とかできないかと思い調べたところ、そこそこ良さ気な環境を構築できたので紹介します。使用するプラグイン以下の2つをインストールします。ようなパッケージマネージャを使用するのをおすすめします。シンタックスとインデント設定を追加するためのプラグインです。動作をエミュレーションするプラグインです。ファイルを開くと自動的に色付けされるようになります。実行すると、証明をひとつ進めることができます。同様に現在の情報が表示されるようになります。するとカーソル位置まで証明を進めます。デフォルト設定では証明が済んだ部分の色はライトグリーンになっています。これは白背景のカラースキームでは良いのですが、黒背景の場合は非常に見づらいです。下記のようにハイライト設定を書きます。環境が整えられました。