_idris2()
{
  ED=$([ -z $2 ] && echo "--" || echo $2)
  COMPREPLY=($(idris2 --bash-completion $ED $3))
}

complete -F _idris2 -o default idris2
