Add git attributes to highlight Silt code as Agda (#45)
Add git attributes to highlight Silt code as Agda (#45)

* Add git attributes to highlight Silt as Agda

* Add gitattributes to ignore generated files

silt-lang/silt,silt-lang/silt,silt-lang/silt