agda-algebras/.gitignore at master · ualib/agda-algebras · GitHub

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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
# ==================================================================================
# agda-algebras — .gitignore
# ==================================================================================
#
# Organized by category. The final section lists patterns kept for historical
# reasons (old paper submissions, scratch dirs) that may no longer be generated by
# anything in the current repo; will prune in a follow-up PR after confirming nothing
# live depends on them.
#
# gitignore syntax reminders:
#   +  Lines starting with `#` are comments. Inline comments are NOT supported.
#   +  A leading `/` anchors the pattern to the repo root.
#   +  A trailing `/` restricts the pattern to directories.
#   +  Without `/`, the pattern matches at any depth.
#   +  `!pattern` un-ignores a previously-ignored path.
#   +  Trailing whitespace is ignored unless escaped with backslash.
# ==================================================================================

# -- Editor and OS -----------------------------------------------------------------
*~
.#*
\#*\#
.DS_Store
*.swp
*.swo

# -- Agda build artifacts ----------------------------------------------------------
*.agdai
_build/
# Auto-generated module index (regenerated by the Makefile).
src/Everything.agda
src/EverythingLegacy.agda

# -- Script artifacts --------------------------------------------------------------
scripts/python/__pycache__/
scripts/python/_utils/__pycache__/

# -- LaTeX build artifacts ---------------------------------------------------------
*.aux
*.bbl
*.blg
*.log
*.out
*.ptb
*.vtc
# AUCTeX auto-generated completions.
auto/

# -- Merge-conflict leftovers ------------------------------------------------------
# Never commit — these are tool residue from diff3 / merge resolution.
*.orig
*-orig.lagda
*_BACKUP_*.lagda
*_BASE_*.lagda
*_LOCAL_*.lagda
*_REMOTE_*.lagda

# -- Nix ---------------------------------------------------------------------------
# Project-local AGDA_DIR (written fresh by `nix develop`).
/.agda/
# `nix build` output symlinks.
/result
/result-*
# nix-direnv cache (only relevant if a contributor uses direnv).
.direnv/

# -- Release / packaging -----------------------------------------------------------
*.tar.gz
source.zip

# -- Generated documentation outputs -----------------------------------------------
# Outputs of `agda --html` / `agda --latex` / LaTeX doc builds.
html/
html-old/
latex/
doc/*.pdf

# ==================================================================================
# Legacy / historical — review and prune in a follow-up PR.
#
# These are artifacts of past paper submissions and local scratch workflows.
# Many may no longer be generated by anything the current build produces.
# Before removing each line, grep the Makefile, doc/, and CI configs to confirm
# nothing still writes to these paths.
# ==================================================================================
ARCHIVE
Notes/Complexity
doc/ITP2021
doc/TYPES2021/abstract
doc/TYPES2021/agda-hsp
doc/TYPES2021/old*
doc/TYPES2021/tmp.tex
doc/TYPES2021/zen.css
doc/TYPES2021/*.pdf
doc/TYPES2021/Demos
makefile-
mk
referee