Hello,
I’d like to know if anyone else here is using Idris on NixOS. I’ve been using it with mixed results. Specifically, my generated binaries do not work:
$ idris 2_goodies.idr -o out && ./out
./out: relocation error: /nix/store/27x7pinqdsl9f3rpbm8bsszd9fhwq266-glibc-2.27/lib/libc.so.6: symbol _dl_exception_create, version GLIBC_PRIVATE not defined in file ld-linux-x86-64.so.2 with link time reference