pyrox.dev
lol
1{ build-idris-package
2, fetchFromGitHub
3, contrib
4, lib
5}:
6build-idris-package {
7 name = "rationals";
8 version = "2017-04-29";
9
10 idrisDeps = [ contrib ];
11
12 src = fetchFromGitHub {
13 owner = "mcgordonite";
14 repo = "idris-binary-rationals";
15 rev = "0d7010b267662d89e76e2cc8b27fd95ecca009b8";
16 sha256 = "0fc93n4pyqyrjxrspnr3vjzc09m78ni1ardq1vx9g40vmvl0n49s";
17 };
18
19 meta = {
20 description = "An idris rational number type built from paths in the Stern Brocot tree";
21 homepage = "https://github.com/mcgordonite/idris-binary-rationals";
22 maintainers = [ lib.maintainers.brainrape ];
23 };
24}