On Fri, Jan 13, 2017, at 08:59 AM, Joe M wrote:
> 
> I am looking to build a native (not using ape/posix) port of Idris on
> 9front.
> 
> This is the repo that I plan on using for the relevant
> code. https://github.com/joe9/idris-9front-backend
> 
> #cat-v mentioned that Skip ported Idris to atari st.
> 
> Just want to check if there are any experiences or advice or code that
> I can reuse.

Don't you need GHC to compile Idris? 

Afaik, there is no Plan 9 port of GHC. And GHC is self hosted. Perhaps
one should approach it by creating a plan 9 binary from another OS and
use that to compile GHC?

-- 
  Ramakrishnan

Reply via email to