mathijs-homedir (dev): add agda