tjh.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 lib,
5}:
6build-idris-package {
7 pname = "transducers";
8 version = "2017-07-28";
9
10 src = fetchFromGitHub {
11 owner = "QuentinDuval";
12 repo = "IdrisReducers";
13 rev = "2947ffa3559b642baeb3e43d7bb382e16bd073a8";
14 sha256 = "0wzbbp5n113mva99mqr119zwp5pgj4l6wq9033z4f0kbm2nhmcfr";
15 };
16
17 meta = {
18 description = "Composable algorithmic transformation";
19 homepage = "https://github.com/QuentinDuval/IdrisReducers";
20 license = lib.licenses.bsd3;
21 maintainers = [ lib.maintainers.brainrape ];
22 };
23}