2010-09-29 20:24:29 +01:00
|
|
|
{cabal, mtl, parsec, readline, ivor, epic, happy}:
|
2009-05-13 20:02:23 +01:00
|
|
|
|
|
|
|
|
cabal.mkDerivation (self : {
|
|
|
|
|
pname = "idris";
|
|
|
|
|
name = self.fname;
|
2010-09-29 20:24:29 +01:00
|
|
|
version = "0.1.5";
|
|
|
|
|
sha256 = "8acdfc22ba2e68b6c1832c2d5fcf11405df9416ba2c193f564b6f98710e9813e";
|
|
|
|
|
propagatedBuildInputs = [mtl parsec readline ivor epic];
|
2009-05-13 20:02:23 +01:00
|
|
|
extraBuildInputs = [happy];
|
|
|
|
|
meta = {
|
|
|
|
|
description = "An experimental language with full dependent types";
|
2010-09-29 20:24:29 +01:00
|
|
|
license = "BSD";
|
|
|
|
|
maintainers = [self.stdenv.lib.maintainers.andres];
|
2009-05-13 20:02:23 +01:00
|
|
|
};
|
|
|
|
|
})
|
