Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

I wanted to try Idris, but got a math-challenged version

Okay, switched to the 64-bit version, that worked. It might have been picking up the "wrong" DLLs from my PATH since they've foolishly decided to put its dependencies in a different folder (mingw/bin) and then ask users to manually add that folder to their PATH.

It was about to print the error: int depends on int depends on int depends on int depends on..