https://github.com/oleks/docker-alpine-idris

A Docker image running Idris, based on Alpine Linux
https://github.com/oleks/docker-alpine-idris

alpine-linux docker idris

Last synced: about 2 months ago
JSON representation

A Docker image running Idris, based on Alpine Linux

• Host: GitHub
• URL: https://github.com/oleks/docker-alpine-idris
• Owner: oleks
• License: other
• Created: 2017-03-31T15:29:41.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2017-07-30T13:31:15.000Z (almost 8 years ago)
• Last Synced: 2025-02-10T13:44:11.187Z (3 months ago)
• Topics: alpine-linux, docker, idris
• Language: Makefile
• Homepage:
• Size: 16.6 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

README

        
# A Docker image running Idris, based on Alpine Linux

[![License](https://img.shields.io/badge/License-Apache%202.0-blue.svg)](LICENSE.md)

## Usage

This [Docker](https://www.docker.com) image serves to make

[Idris](https://www.idris-lang.org) more accessible. As such, having Docker

installed, you can whip up an Idris prompt merely as follows:

    $ docker run -i oleks2/alpine-idris

This is also a minimal image (due to using [alpine

linux](https://alpinelinux.org)), so it may be suitable for the automated,

lightweight testing of your Idris projects. To this end, you might want to

always use a particularly tagged version of the image. For instance,

`oleks2/alpine-idris:1.0_0.5`.

## Versioning

The Docker image tag has the format `_`, where

the image version is reset to `0.0` for each new version of Idris. For

instance, `1.0_0.5` stands for version 0.5 of the Docker image for Idris 1.0.

The image version follows the usual semantic versioning conventions.