Fix syntax highlighting of agda code.