Public | Automated Build

Last pushed: 7 months ago
Short Description
An Alpine Linux Docker image with Idris.
Full Description

A Docker image running Idris, based on Alpine Linux

Docker Pull Command
Owner
oleks2
Source Repository