2015-10-01から1ヶ月間の記事一覧
以前、2.4.2.2のインストールでだいぶ手こずった話を書いて、Agdaをやってみようという方の気をそいだ感があるのだが、このたびリリースされた2.4.2.4へは素直にバージョンアップできた。cabalを叩くだけで。ちなみに、次のリリースは2.4.4で、ライブラリの…
以前、2.4.2.2のインストールでだいぶ手こずった話を書いて、Agdaをやってみようという方の気をそいだ感があるのだが、このたびリリースされた2.4.2.4へは素直にバージョンアップできた。cabalを叩くだけで。ちなみに、次のリリースは2.4.4で、ライブラリの…