Programming Languages

Idris

72 projects

haskell

3896 projects

STG backend for Idris2

Stage

Pre-alpha, compiles a HelloWorld

Financial Support

How to build

Install Idris 2, see VERIONS file https://github.com/idris-lang/Idris2/blob/master/INSTALL.md
Install Compiler API of Idris2
Install Ext-STG-Interpreter andorp/idris-primops branch https://github.com/grin-compiler/ghc-whole-program-compiler-project/tree/andorp/idris-primops

How to test

Build with make clean && make
Run test with make test
Run ext-stg-interpreter test0.json in the stg directory

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].