Name:
Anonymous
2013-08-09 19:25
Isn't it okay for beginners?
Name:
Anonymous
2013-08-10 20:10
>>41
yesm. I've found some guides.
https://en.wikipedia.org/wiki/Agda_%28programming_language%29
this looks good.
http://ocvs.cfv.jp/Agda/main.pdf
compiling might be a bitch.
There are three compiler backends, MAlonzo which targets Haskell, a JavaScript backend, and an Epic backend.