6 lines
48 B
Text
6 lines
48 B
Text
*.agdai
|
|
*.blg
|
|
*.pdf
|
|
/gentex
|
|
/agda.sty
|
|
/main.log
|
*.agdai
|
|
*.blg
|
|
*.pdf
|
|
/gentex
|
|
/agda.sty
|
|
/main.log
|