Hello,
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
oject can be characterized as logistical support
> (documentation, support, etc.).
>
> -Skip
>
> On Thu, Jan 12, 2017 at 7:29 PM Joe M wrote:
>
> > Hello,
> >
> > I am looking to build a native (not using ape/posix) port of Idris on
> > 9front.
> >
>
> 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.
As a next st
> > 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).
I updated the README
Hello,
Recently, I tried fossil on 9front (libventi library) and came across
2 issues.
1. flfmt -v fails with "no qidSpace"
2. fossil hangs while snap -a is working in the background. This
happens during the initial load as there is more data to work
through. A few GB of unventi'd data can cause
