diff options
author | Ryan Orendorff <12442942+ryanorendorff@users.noreply.github.com> | 2020-10-13 20:30:20 -0600 |
---|---|---|
committer | Ryan Orendorff <12442942+ryanorendorff@users.noreply.github.com> | 2020-10-15 10:54:22 -0600 |
commit | c78dc9cf5be4fbabf57de65853c2a66305ccdb21 (patch) | |
tree | 960235cfd856f9d3cf959fc9aadacbecd1807d96 /pkgs/development/libraries/agda | |
parent | 617b980961f4ec6572226a468d3b96d26fde3528 (diff) |
agda-packages: add fla library at v0.1
Adds the functional-linear-algebra library to the agda package set.
Diffstat (limited to 'pkgs/development/libraries/agda')
-rw-r--r-- | pkgs/development/libraries/agda/functional-linear-algebra/default.nix | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/pkgs/development/libraries/agda/functional-linear-algebra/default.nix b/pkgs/development/libraries/agda/functional-linear-algebra/default.nix new file mode 100644 index 0000000000000..dbcdaac532ec1 --- /dev/null +++ b/pkgs/development/libraries/agda/functional-linear-algebra/default.nix @@ -0,0 +1,26 @@ +{ fetchFromGitHub, lib, stdenv, mkDerivation, standard-library }: + +mkDerivation rec { + version = "0.1"; + pname = "functional-linear-algebra"; + + buildInputs = [ standard-library ]; + + src = fetchFromGitHub { + repo = "functional-linear-algebra"; + owner = "ryanorendorff"; + rev = "v${version}"; + sha256 = "09ri3jmgp9jjwi1mzv4c3w6rvcmyx6spa2qxpwlcn0f4bmfva6wm"; + }; + + meta = with stdenv.lib; { + homepage = "https://github.com/ryanorendorff/functional-linear-algebra"; + description = '' + Formalizing linear algebra in Agda by representing matrices as functions + from one vector space to another. + ''; + license = licenses.bsd3; + platforms = platforms.unix; + maintainers = with maintainers; [ ryanorendorff ]; + }; +} |