-
Notifications
You must be signed in to change notification settings - Fork 0
/
templates.nix
48 lines (39 loc) · 740 Bytes
/
templates.nix
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
rec {
default = vanilla;
haskell = {
description = "Haskell-flavored flake";
path = ./haskell;
};
c = {
description = "Clang flake";
path = ./c;
};
riscv32 = {
description = "RISC-V gcc";
path = ./riscv32;
};
java = {
description = "Java jdtls flake";
path = ./java;
};
rust = {
description = "Rust flake";
path = ./rust;
};
scala = {
description = "Scala Metals flake";
path = ./scala;
};
why3 = {
description = "why3 flake for PRGC class";
path = ./why3;
};
typst = {
description = "Typst flake with templates";
path = ./typst;
};
vanilla = {
description = "A simple flake that can be extended";
path = ./vanilla;
};
}