Hi Karn, > The dependently typed language Aldor (http://www.aldor.org/) was > recently released as software libre. The attached patch adds the > compiler to NixPkgs.
pushed in bc4c9312a5. Thank you for the patch! Take care, Peter _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
