-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy path.gitignore
98 lines (96 loc) · 1.5 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
96
97
98
o*ptb
*.t
./src/HList/*
*tex
*log
*pdf
*aux
.log
.pdf
.aux
*~
*#
dist
dist-*
cabal-dev
*.o
*.hi
*.chi
*.chs.h
*.dyn_o
*.dyn_hi
.hpc
.hsenv
.cabal-sandbox/
cabal.sandbox.config
*.prof
*.aux
*.hp
*.eventlog
.stack-work/
cabal.project.local
.HTF/
doc/Main.bbl
doc/Main.blg
doc/Main.out
doc/Main.toc
test/Fail.hs
test/GraphsBroken.hs
test/Test2.hs
test/TypedArithExtension.hs
.gitignore
./papers
./benchmarks
TAGS
doc/Fatal
doc/auto/
doc/src/auto/
doc/src/img/ag-repmin.xcf
doc/src/img/udelar logo.jpg
examples/List.hs
examples/Tree.lhs
papers/ifl2019/ACM-Reference-Format.bbx
papers/ifl2019/ACM-Reference-Format.cbx
papers/ifl2019/ACM-Reference-Format.dbx
papers/ifl2019/Fatal
papers/ifl2019/GenRecord.hs
papers/ifl2019/Main.bbl
papers/ifl2019/Main.blg
papers/ifl2019/Main.out
papers/ifl2019/Main.ptb
papers/ifl2019/Main.toc
papers/ifl2019/Main2.out
papers/ifl2019/Main2.ptb
papers/ifl2019/aag.out
papers/ifl2019/acmart-master.zip
papers/ifl2019/acmart-master/
papers/ifl2019/auto/
papers/ifl2019/comment.cut
papers/ifl2019/endpboxed
papers/ifl2019/leavevmode
papers/ifl2019/sample-acmtog.out
papers/ifl2019/src/
papers/ifl2019/test
papers/ifl2019/{hspre}l
papers/lhs2TeX/.script
papers/lhs2TeX/.travis.yml
papers/pp/
src/.#RecError.hs
src/Errors.hs
src/ExprExt.hs
src/Fun.hs
src/Hoas.hs
src/Lambda.hs
src/Language/Grammars/.#AspectAG.lhs
src/Letexp.lhs
src/Param.hs
src/RepminClass.hs
src/RepminExt.hs
src/RepminExt2.hs
src/RepminGenChi.hs
src/THDevel.hs
src/TypedArith.hs
src/repmin
test/RepminTH.hs
test/TypedArithDK.hs
.gitmodules