add agda and literate agda support