ignore Agda files
Add solarized light syntax highlighting
Add some Idris
Add a final note with Agda