Skip to content
This repository has been archived by the owner on Jul 9, 2019. It is now read-only.
/ idris-bash Public archive

GNU bash backend for Idris

License

Notifications You must be signed in to change notification settings

mietek/idris-bash

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

43 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation


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.

About

GNU bash backend for Idris

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published