Add agda mode
Add sorting picker