Pre-alpha, compiles a HelloWorld
- 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
- Build with
make clean && make - Run test with
make test - Run
ext-stg-interpreter test0.jsonin the stg directory