wchresta 24d5c73aa8 idris2: Enable --install, bugfixes ... This removes the need of the bin/idris2_app folder and replaces it with proper links to the nix-storage folders. This allows the user to override IDRIS2_PREFIX which will allow them to use --install to install libraries. * Fix: idris2_app/ was exposed in bin/ * Remove native Idris2 wrapper that set LD_LIBRARY_PATH * Improve new Idris2 wrapper to set Idris2 paths to out folders		2020-08-20 22:09:05 -04:00
..
default.nix	idris2: Enable --install, bugfixes	2020-08-20 22:09:05 -04:00