[Nix-dev] Aldor

[Karn Kallio]

The dependently typed language Aldor (http://www.aldor.org/) was recently 
released as software libre.  The attached patch adds the compiler to NixPkgs.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Add-aldor.patch
Type: text/x-patch
Size: 3037 bytes
Desc: not available
Url : http://lists.science.uu.nl/pipermail/nix-dev/attachments/20130717/ddd876d9/attachment.bin