---

This project is no longer maintained.

---

idris-bash

GNU bash backend for Idris.

Based on Edwin Brady’s PHP backend, and my toy JavaScript backend.

Barely functional. Super slow.

Example

$ idris pythag.idr --codegen bash -o pythag.sh
$ time bash pythag.sh
[(3, (4, 5)), (6, (8, 10)), (5, (12, 13)), (9, (12, 15))]

real    0m9.965s
user    0m9.938s
sys     0m0.016s

Input: pythag.idr

Output: pythag.sh

About

Made by Miëtek Bak. Published under the BSD license.