https://github.com/mmhelloworld/idris-jvm-hs
Old JVM bytecode backend for Idris
https://github.com/mmhelloworld/idris-jvm-hs
Last synced: about 2 months ago
JSON representation
Old JVM bytecode backend for Idris
- Host: GitHub
- URL: https://github.com/mmhelloworld/idris-jvm-hs
- Owner: mmhelloworld
- License: bsd-3-clause
- Created: 2017-06-24T18:53:15.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2017-06-24T18:57:58.000Z (almost 9 years ago)
- Last Synced: 2025-02-25T23:43:07.596Z (over 1 year ago)
- Language: Haskell
- Size: 41 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
**Old JVM bytecode backend for Idris implemented in Haskell**
This doesn't work anymore. Please use the new backend from [here](https://github.com/mmhelloworld/idris-jvm).
## Install
1. `git clone https://github.com/mmhelloworld/idris-jvm-hs.git`
1. `cd idris-jvm-hs`
1. `bin/setup`. Windows users, please follow the instructions [here](docs/windows.md) before running this.