Dependencies for idris-0.9.0

idris