#                                                                   -*- conf -*-

# Editor backup files
*~
\#*
.\#*

# Agda
*.agdai