Onde aestá a fatia e io índice do elemento que você deseja excluir:
a = append(a[:i], a[i+1:]...)
... é uma sintaxe para argumentos variados no Go.
Basicamente, ao definir uma função, coloca todos os argumentos que você passa em uma fatia desse tipo. Ao fazer isso, você pode passar quantos argumentos quiser (por exemplo, fmt.Printlnpode usar quantos argumentos quiser).
Agora, ao chamar uma função, ...faz o oposto: descompacta uma fatia e as passa como argumentos separados para uma função variável.
Então, o que essa linha faz:
a = append(a[:0], a[1:]...)
é essencialmente:
a = append(a[:0], a[1], a[2])
Agora, você pode estar se perguntando, por que não fazer
a = append(a[1:]...)
Bem, a definição de função de appendé
func append(slice []Type, elems ...Type) []Type
Portanto, o primeiro argumento deve ser uma fatia do tipo correto, o segundo argumento é o variável, então passamos uma fatia vazia e descompactamos o restante da fatia para preencher os argumentos.