mietek/idris-js

---

mietek/idris-js.json

{
  "createdAt": "2015-07-16T15:32:17Z",
  "defaultBranch": "master",
  "description": "Toy JavaScript backend for Idris",
  "fullName": "mietek/idris-js",
  "homepage": "",
  "language": "Haskell",
  "name": "idris-js",
  "pushedAt": "2019-02-14T18:12:55Z",
  "stargazersCount": 7,
  "topics": [],
  "updatedAt": "2023-01-28T17:52:43Z",
  "url": "https://github.com/mietek/idris-js"
}

---

This project is no longer maintained.

---

idris-js

Toy JavaScript backend for Idris.

Based on Edwin Brady’s PHP backend. Written in order to arrive at a GNU bash backend.

Barely functional.

Example

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

real    0m0.080s
user    0m0.076s
sys     0m0.019s

Input: [pythag.idr]!(pythag.idr)

Output: pythag.js

About

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