Public Repository

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

Official haskell + latest idris version

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

See the Dockerfile and the README on the github repositiory.

Docker Pull Command
Owner
dgellow

Comments (0)