/ .gitignore
.gitignore
 1  result
 2  result-*
 3  .direnv/
 4  .nixd.json
 5  .nil.toml
 6  .direnv
 7  .devshell
 8  
 9  # Buck2 build artifacts
10  buck-out/
11  .buckconfig.local
12  
13  # Haskell build artifacts
14  .ghc-pkg-db
15  *.hi
16  *.o
17  *.dyn_hi
18  *.dyn_o
19  
20  # Lean build artifacts
21  .lake/
22  
23  # Editor/IDE
24  .starlark
25  hie.yaml
26  
27  # Generated binaries
28  bin/
29  
30  # Cargo/Rust build artifacts
31  target/
32  
33  # Local tools/scripts
34  hie-gen
35  nix-analyze
36  
37  # Nix store symlinks in src
38  src/armitage/nix/
39  .lake/
40  .b7r6/