-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.gitignore
96 lines (78 loc) · 2.27 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
84
85
86
87
88
89
90
91
92
93
94
95
# Ignore Emacs backup files
*~
\#*
.\#*
*~
\#*#
\.#Makefile
.[#]*[#]
# Ignore Agda/Haskell/Java compiled files
MAlonzo/
*.agdai
*.hi
*.o
*.class
*.pyg
*.synctex.gz
# Ignore LaTeX generated files
*.log
*.dvi
*.ps
*.blg
*.log
*.bbl
*.aux
*_aux
*.toc
*.ptb
*.nav
*.out
*.snm
*.vrb
*.idx
# misc
.dropbox
Types2016/TypeTalk/TypePresentationCorrected.pdf
# Result of compiling agda files
IOSimulator/IOExtchoice
IOSimulator/IOInterleave
IOSimulator/IOInterleav
IOSimulator/IOSeqCom
IOSimulator/testRec
IOSimulator/testShowFunction
IOSimulatorUsingDoubleElim/IOExtchoice
IOSimulatorUsingDoubleElim/IOInterleave
IOSimulatorUsingDoubleElim/IOInterleav
IOSimulatorUsingDoubleElim/IOSeqCom
IOSimulatorUsingDoubleElim/testRec
IOSimulatorUsingDoubleElim/testShowFunction
IOSimulatorWithTickTransition/IOExtchoice
IOSimulatorWithTickTransition/IOInterleave
IOSimulatorWithTickTransition/IOInterleav
IOSimulatorWithTickTransition/IOSeqCom
IOSimulatorWithTickTransition/testRec
IOSimulatorWithTickTransition/testShowFunction
vers09IOSimulatorWithInfinityString/IOExtchoice
vers09IOSimulatorWithInfinityString/IOInterleave
vers09IOSimulatorWithInfinityString/IOInterleav
vers09IOSimulatorWithInfinityString/IOSeqCom
vers09IOSimulatorWithInfinityString/testRec
vers09IOSimulatorWithInfinityString/testShowFunction
vers09IOSimulatorWithInfinityString/simulatorCutDown
vers09IOSimulatorWithInfinityString/IOExternalChoice
vers09IOSimulatorWithInfinityString/IOExampleScreenShotForTyDePaper
vers09IOSimulatorWithInfinityString/IOExampleScreenShotForTyDePaper2
vers09IOSimulatorWithInfinityString/testPrimitiveProcess
vers10IOSimulatorWithTerminateAsSkip/IOExampleScreenShotForTyDePaper2
vers10IOSimulatorWithTerminateAsSkip/IOSeqCom
vers11IOSimulatorWithTerminateAsSkipWithSyntaxTrees/IOSeqCom
vers11IOSimulatorWithTerminateAsSkipWithSyntaxTrees/testRec
vers12IOSimulatorWithTerminateAsSkipWithSyntaxTrees/testRec
vers12IOSimulatorWithTerminateAsSkipWithSyntaxTrees/IOExampleScreenShotForTyDePaper
vers12IOSimulatorWithTerminateAsSkipWithSyntaxTrees/testShowFunction
Types2016/TypeTalk/TypePresentation.pdf
Types2016/TypeTalk/TypePresentation.synctex.gz
Types2016/TypeTalk/TypePresentation.log
TypeTalk/TypePresentationCorrected.pdf
Types2016/TypeTalkCorrected/TypePresentationCorrected.pdf
Types2016/TypeTalk/TypePresentation.pdf