2008-08-08から1日間の記事一覧

解答

/Users/ranha/Agda/Agda_latest% darcs get --partial http://code.haskell.org/Agda最新版があったみたいです^^ ・・・(´･ω･`) 私がずっとやっていたのは完全に無意味だったのかー。まぁGHCとちょっと親しく成れた気がする。 oldとlatestをちゃんと見極めら…

ただコンパイルしたいだけなのに・・・

Agda2のコンパイルが大変過ぎてもう眠たいです。 /Users/ranha/Agda/Agda2% runhaskell Setup.hs build Preprocessing library Agda-2.1.2... Building Agda-2.1.2... [ 67 of 154] Compiling Syntax.Parser.Lexer[boot] ( dist/build/Syntax/Parser/Lexer.h…