2017-01-13 15:05 GMT+01:00 Joe M <joe9m...@gmail.com>: > > > > Don't you need GHC to compile Idris? > > http://docs.idris-lang.org/en/latest/faq/faq.html#when-will- > idris-be-self-hosting > > I have the posix version of the rts working on 9front. The default C > backend generated code compiled and runs on 9front. I generated the c > code on linux though. >
Can you detail the process? I'd like to give it a try on Jehanne (which is built with gcc). Giacomo
