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

# ---> AppEngine
# Google App Engine generated folder
appengine-generated/