paasim/idris repository overview

⁠dockerfiles

Some dockerfiles that are relevant to me. All except the arm-images are built on dockerhub⁠.