pyrox.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
lol
fork
Configure Feed
Select the types of activity you want to include in your feed.
1{ lib, mkDerivation, fetchFromGitHub, standard-library }:
2
3mkDerivation rec {
4 pname = "generic";
5 version = "0.1.0.2";
6
7 src = fetchFromGitHub {
8 owner = "effectfully";
9 repo = "Generic";
10 rev = "v${version}";
11 sha256 = "05igsd2gaj6h9bkqwp8llhvn4qvc5gmi03x4fnz096ba8m6x8s3n";
12 };
13
14 buildInputs = [
15 standard-library
16 ];
17
18 preBuild = ''
19 echo "module Everything where" > Everything.agda
20 find src -name '*.agda' | sed -e 's/src\///;s/\//./g;s/\.agda$//;s/^/import /' >> Everything.agda
21 '';
22
23 meta = with lib; {
24 # Remove if a version compatible with agda 2.6.2 is made
25 broken = true;
26 description =
27 "A library for doing generic programming in Agda";
28 homepage = src.meta.homepage;
29 license = licenses.mit;
30 platforms = platforms.unix;
31 maintainers = with maintainers; [ alexarice turion ];
32 };
33}