pkgs/development/libraries/agda/functional-linear-algebra/default.nix

   1 {
   2   fetchFromGitHub,
   3   lib,
   4   mkDerivation,
   5   standard-library,
   6 }:
   7
   8 mkDerivation rec {
   9   version = "0.5.0";
  10   pname = "functional-linear-algebra";
  11
  12   buildInputs = [ standard-library ];
  13
  14   src = fetchFromGitHub {
  15     repo = "functional-linear-algebra";
  16     owner = "ryanorendorff";
  17     rev = "v${version}";
  18     sha256 = "sha256-3nme/eH4pY6bD0DkhL4Dj/Vp/WnZqkQtZTNk+n1oAyY=";
  19   };
  20
  21   preConfigure = ''
  22     sh generate-everything.sh
  23   '';
  24
  25   meta = with lib; {
  26     homepage = "https://github.com/ryanorendorff/functional-linear-algebra";
  27     description = ''
  28       Formalizing linear algebra in Agda by representing matrices as functions
  29       from one vector space to another.
  30     '';
  31     license = licenses.bsd3;
  32     platforms = platforms.unix;
  33     maintainers = with maintainers; [ ryanorendorff ];
  34   };
  35 }