5 lines
No EOL
36 B
Text
5 lines
No EOL
36 B
Text
# ---> Agda
|
|
*.agdai
|
|
MAlonzo/**
|
|
|
|
asdf |