# backups *~ \#*\# .\#* # editors .emacs* # haskell *.hi *.o *.dyn_hi *.dyn_o # binaries t test colors # agda *.agdai MAlonzo/