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