Name:
Anonymous
2013-08-09 19:25
Isn't it okay for beginners?
Name:
Anonymous
2013-08-10 18:15
>>40
Could you recommend me a good way to get into Agda?
Name:
Anonymous
2013-08-10 20:04
>>41
Could you recommend me a good way to get into Anus?
Name:
Anonymous
2013-08-10 20:06
>>42
Could you recommend me a good way to get into Ana's Anus?
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.
Name:
Anonymous
2013-08-10 20:22
>>43
Could you recommend me a good way to check these dubs?