tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 fetchFromGitHub,
3 lib,
4 mkDerivation,
5 standard-library,
6}:
7
8mkDerivation 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 meta = {
22 homepage = "https://github.com/ryanorendorff/functional-linear-algebra";
23 description = ''
24 Formalizing linear algebra in Agda by representing matrices as functions
25 from one vector space to another.
26 '';
27 license = lib.licenses.bsd3;
28 platforms = lib.platforms.unix;
29 maintainers = with lib.maintainers; [ ryanorendorff ];
30 };
31}