reactivefinance/idris repository overview

⁠Docker Image for Idris

Alpine Linux⁠ based docker image of Idris⁠.

⁠Usage

⁠REPL

./idris

⁠Code Generators

⁠C

Compile to executable:

./idris hello.idr -o hello

Generating C code:

./idris hello.idr -S -o hello.c

Execute the binary then as follows:

./run-idris-compiled ./hello

⁠Node

Compile to JavaScript for Node

./idris --codegen node hello.idr -o hello

Run in Node:

./hello

⁠JavaScript

./idris --codegen javascript hello.idr -o hello.js

⁠Markdown

The image also includes the cheapskate markdown to HTML transformer.

./cheapskate ./README.md