-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitignore
83 lines (79 loc) · 1.82 KB
/
.gitignore
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
### gitignore settings for a racket project:
*~
\#*
.\#*
.DS_Store
compiled/
/doc/
### original gitignore settings:
# 7-sketches/7-sketches.pdf
# 7-sketches/template.pdf
/7-sketches/auto/
/7-sketches/template.toc
/7-sketches/7-sketches.tex
/7-sketches/ltximg/
7-sketches/template.aux
7-sketches/template.fdb_latexmk
7-sketches/template.fls
7-sketches/template.idx
7-sketches/template.ilg
7-sketches/template.ind
7-sketches/template.log
7-sketches/template.out
7-sketches/template.synctex.gz
# basic-cat/BasicCategoryTheory.pdf
basic-cat/BasicCategoryTheory.aux
basic-cat/BasicCategoryTheory.fdb_latexmk
basic-cat/BasicCategoryTheory.fls
basic-cat/BasicCategoryTheory.idx
basic-cat/BasicCategoryTheory.ilg
basic-cat/BasicCategoryTheory.log
basic-cat/BasicCategoryTheory.out
basic-cat/BasicCategoryTheory.synctex.gz
basic-cat/BasicCategoryTheory.thm
basic-cat/BasicCategoryTheory.toc
basic-cat/adj.aux
basic-cat/arl.aux
basic-cat/arxivpreface.aux
basic-cat/auto/
basic-cat/cfnt.aux
basic-cat/cfnt.fdb_latexmk
basic-cat/cfnt.fls
basic-cat/cfnt.log
basic-cat/front.aux
basic-cat/gaft.aux
basic-cat/intro.aux
basic-cat/lims.aux
basic-cat/notation.aux
basic-cat/preface.aux
basic-cat/reading.aux
basic-cat/rep.aux
basic-cat/sets.aux
basic-cat/titlepages.aux
basic-cat/composable.pdf
basic-cat/composed.pdf
basic-cat/creation.pdf
basic-cat/curry.pdf
basic-cat/embedding.pdf
basic-cat/function.pdf
basic-cat/set.pdf
basic-cat/sphere_colim.pdf
basic-cat/sphere_lim.pdf
basic-cat/sumL.pdf
basic-cat/sumR.pdf
basic-cat/sumtot.pdf
basic-cat/view.pdf
category-theory.idx
category-theory.tex
category-theory.log
math-structures.tex
math-structures.pdf
*.pdf
/_minted-test/
/_minted-category-theory/
notes/compiled/info_rkt.dep
notes/compiled/info_rkt.zo
notes/compiled/main_rkt.dep
notes/compiled/main_rkt.zo
notes/lang/compiled/reader_rkt.dep
notes/lang/compiled/reader_rkt.zo