tjh.dev
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 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}