functional programming docker containers

about

this repository has dockerfiles for two images:

haskell_base/
  Dockerfile     # haskell development image
idris_base/
  Dockerfile     # idris development image

downloading

these images are available on the docker hub at my docker hub page.