[14:45:54] <inariksit> halla or who was it that suggested emacs for the GF windows unicode problems, I tried but didn't help
[14:46:46] <inariksit> But I noticed that when I tried to install Agda from cabal in cmd, it didn't work ("ExitFailure 1"), but now it's nicely compiling when I'm doing it in the emacs shell...
[14:47:28] <jstar> huh...
[14:47:55] <jstar> you must have multiple versions of Haskell package / cabal libraries maybe
[14:55:13] <inariksit> Hmm, it's possible, I'll check
[14:56:57] <inariksit> Haha, I have at least 3 directories that contain the whole source code of GF
[14:57:06] <inariksit> 2 darcs repos and 1 git
[14:57:34] <inariksit> (well that shouldn't obviously be the reason, I just searched with the keyword "haskell" :P)
[16:35:41] *** Quits: drbean (~drbean@113.196.171.151) (Quit: ZNC - http://znc.in)
[16:39:47] *** Joins: drbean (~drbean@113.196.171.151)
[19:31:00] *** Joins: hamerika1etza (terminal@213.240.217.82)
[19:31:06] *** Quits: hamerika1etza (terminal@213.240.217.82) (Client Quit)