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