# ---> Agda
*.agdai

# ---> Ada
# Object file
*.o

# Ada Library Information
*.ali