re: What new language/tool/etc. have you been meaning to learn but haven't gotten around to yet? VIEW POST

TOP OF THREAD FULL DISCUSSION
re: Didn't even know this existed!
 

"There are more things in heaven and earth, Horatio, than are dreamt of in your philosophy". Agda is cool, as well as theorem proovers in general.

code of conduct - report abuse