четвер, 15 серпня 2013 р.

Agda, Не останавливайтесь!

(Следующий этап — микроконтроллер)

I'm trying to get Agda working on my Samsung chromebook.
I got to the point where I have ghci trunk working,
but I am stuck at getting Agda trunk to work with ghc
I compiled (and the dependent packages). This is needed
for the interactive Emacs mode. Therefore I'd like to know
if it's possible to run agda interpreter on ARM at all,
has anybody tried this? I notice that Agda trunk does not
compile with ghc trunk is there any plan to fix it?

Agda mailing list

Немає коментарів:

Дописати коментар