add init.el
add agda-mode settings