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

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