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