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
