Dependencies for idris-0.1.3

library
idris