tjh.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 bifunctors,
5 lib,
6}:
7build-idris-package {
8 pname = "logic";
9 version = "2016-12-02";
10
11 idrisDeps = [ bifunctors ];
12
13 src = fetchFromGitHub {
14 owner = "yurrriq";
15 repo = "idris-logic";
16 rev = "e0bed57e17fde1237fe0358cb77b25f488a04d2f";
17 sha256 = "0kvn1p0v71vkwlchf20243c47jcfid44w5r0mx4dydijq9gylxfz";
18 };
19
20 # tests fail
21 doCheck = false;
22
23 meta = {
24 description = "Propositional logic tools, inspired by the Coq standard library";
25 homepage = "https://github.com/yurrriq/idris-logic";
26 license = lib.licenses.mit;
27 maintainers = [ lib.maintainers.brainrape ];
28 };
29}