blob: d010707ac00acb2addc2474f15b4a934bd1659bb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
{cabal, mtl, parsec}:
cabal.mkDerivation (self : {
pname = "ivor";
version = "0.1.8";
sha256 = "e51ad07c78ea0cad6fce9253012258dbf7c740198792aa4a446e1f0269a9186d";
propagatedBuildInputs = [mtl parsec];
meta = {
description = "Theorem proving library based on dependent type theory";
};
})
|