Public Repository

Last pushed: 23 days ago
Short Description
Idris is a general purpose pure functional programming language with dependent types.
Full Description

Supported tags and respective Dockerfile links

Docker Pull Command
Owner
mmhelloworld

Comments (0)