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
2, standard-library }:
3
4mkDerivation rec {
5 pname = "agdarsec";
6 version = "0.4.1";
7
8 src = fetchFromGitHub {
9 owner = "gallais";
10 repo = "agdarsec";
11 rev = "v${version}";
12 sha256 = "02fqkycvicw6m2xsz8p01aq8n3gj2d2gyx8sgj15l46f8434fy0x";
13 };
14
15 everythingFile = "./index.agda";
16
17 includePaths = [ "src" "examples" ];
18
19 buildInputs = [ standard-library ];
20
21 meta = with lib; {
22 homepage = "https://gallais.github.io/agdarsec/";
23 description = "Total Parser Combinators in Agda";
24 license = licenses.gpl3;
25 platforms = platforms.unix;
26 maintainers = with maintainers; [ turion ];
27 };
28}