summary refs log tree commit diff
path: root/pkgs/development/compilers/idris
Commit message (Expand)AuthorAge
* Added Idris and updated fetchdarcs.Andres Löh2009-05-13