https://github.com/jroesch/lean.js

An example of using Lean's backend API to implement a new language backend.
https://github.com/jroesch/lean.js

compiler javascript lean programming-language

Last synced: 23 days ago
JSON representation

An example of using Lean's backend API to implement a new language backend.

• Host: GitHub
• URL: https://github.com/jroesch/lean.js
• Owner: jroesch
• Created: 2017-02-18T10:40:10.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-02-19T09:47:00.000Z (over 7 years ago)
• Last Synced: 2023-03-14T05:31:03.406Z (over 1 year ago)
• Topics: compiler, javascript, lean, programming-language
• Language: Lean
• Size: 11.7 KB
• Stars: 1
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project