2025-05-28 12:06:37 -07:00
|
|
|
{ ... }:
|
|
|
|
|
{
|
2025-05-19 21:42:58 -07:00
|
|
|
imports = [
|
|
|
|
|
./keybinds.nix
|
|
|
|
|
./languages.nix
|
2025-05-20 21:30:54 -07:00
|
|
|
./latex.nix
|
2025-05-21 13:56:17 -07:00
|
|
|
./lean.nix
|
2025-06-12 15:14:43 -07:00
|
|
|
./coq.nix
|
2025-05-21 15:25:56 -07:00
|
|
|
./visuals.nix
|
2025-06-12 15:14:43 -07:00
|
|
|
./mini.nix
|
2025-05-19 21:42:58 -07:00
|
|
|
];
|
|
|
|
|
}
|
