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

# Ada Library Information
*.ali

# ---> Agda
*.agdai
MAlonzo/**