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 (about 7 years ago)
• Default Branch: master
• Last Pushed: 2020-04-11T17:22:00.000Z (over 5 years ago)
• Last Synced: 2025-08-25T07:26:07.252Z (2 months ago)
• Topics: compiler, functional-programming, grin, idris
• Language: Idris
• Homepage: https://grin-compiler.github.io/
• Size: 441 KB
• Stars: 50
• Watchers: 12
• Forks: 3
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
[![Build Status](https://travis-ci.org/grin-compiler/idris-grin.svg?branch=master)](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.grin

How 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

```