pyrox.dev
lol
1{ build-idris-package
2, fetchFromGitHub
3, free
4, composition
5, comonad
6, bifunctors
7, hezarfen
8, lib
9}:
10build-idris-package {
11 name = "recursion_schemes";
12 version = "2018-01-19";
13
14 idrisDeps = [ free composition comonad bifunctors hezarfen ];
15
16 src = fetchFromGitHub {
17 owner = "vmchale";
18 repo = "recursion_schemes";
19 rev = "6bcbe0da561f461e7a05e29965a18ec9f87f8d82";
20 sha256 = "0rbx0yqa0fb7h7qfsvqvirc5q85z51rcwbivn6351jgn3a0inmhf";
21 };
22
23 meta = {
24 description = "Recursion schemes for Idris";
25 homepage = "https://github.com/vmchale/recursion_schemes";
26 license = lib.licenses.bsd3;
27 maintainers = [ lib.maintainers.brainrape ];
28 };
29}