5 lines
32 B
Text
5 lines
32 B
Text
|
# ---> Agda
|
||
|
|
*.agdai
|
||
|
|
MAlonzo/**
|
||
|
|
|