Dependencies for idris-0.1.4

library
idris