https://github.com/grin-compiler/idris-grin
GRIN backend for Idris
https://github.com/grin-compiler/idris-grin
compiler functional-programming grin idris
Last synced: about 2 months ago
JSON representation
GRIN backend for Idris
- Host: GitHub
- URL: https://github.com/grin-compiler/idris-grin
- Owner: grin-compiler
- License: other
- Created: 2018-09-18T09:36:52.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-04-11T17:22:00.000Z (about 5 years ago)
- Last Synced: 2025-02-16T14:56:47.207Z (4 months ago)
- Topics: compiler, functional-programming, grin, idris
- Language: Idris
- Homepage: https://grin-compiler.github.io/
- Size: 441 KB
- Stars: 51
- Watchers: 13
- Forks: 3
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
[](https://travis-ci.org/grin-compiler/idris-grin)
# Idris frontend
This is a proof of concept work. This repository sets an example how the grin compiler can be used to integrate with
compilers other than the lambda intermedate language which is used in the GHC-GRIN repository.The 'test' directory contains the examples that the current version of the frontend supports, including both
the generated and optimised grin code for the idris programs. For example:
HelloWorld.idr, HellowWorld.grin, HelloWorld_opt.grinHow to run the idris frontend experiments on your own:
```
stack install
stack exec idris -- test/tdd/chapter01/01_HelloWorld.idr -i test/tdd/chapter01 --codegen grin -o helloworld.bin
```