Public Repository

Last pushed: 8 months ago
Short Description
Official Haskell + latest Idris
Full Description

Docker image for Idris lang

The image is available on dockerhub: dgellow/idris

Based on the official haskell image, latest idris installed and compiled via cabal.

Tags

  • dgellow/idris:latest
  • dgellow/idris:v1.1.1
  • dgellow/idris:v1.0
  • dgellow/idris:v0.99.1
  • dgellow/idris:v0.99
  • dgellow/idris:v0.12.3

Usage

From the cli:

$ docker run -it dgellow/idris --help

From a Dockerfile:

FROM dgellow/idris

ADD . /app
WORKDIR /app

RUN idris main.idr -o hello.o
CMD ["/app/hello.o"]
Docker Pull Command
Owner
dgellow