There is a different issue as well, which is that Idris can't seem to compile anything. I've been trying to get gcc or clang to work with the C code Idris generates but somehow even a simple hello world runs into a linker error where ld can't find crt1.o and crti.o even though they are on its path.
I don't know enough about ld to know why this is, so I'd appreciate some help. I'll also look closer at the Nix packages for Idris and its libraries, since they seem to support it much better.
