On Sun, Jan 15, 2017, at 01:48 AM, Ori Bernstein wrote:
> On Sun, 15 Jan 2017 01:02:11 +0530, Ramakrishnan Muthukrishnan
> wrote:
>
> > After reading your message, I tried compiling a simple program using the
> > '-fviaC'. But it looks like, on newer GHC it is deprecated and is going
> > to be re
On Sun, 15 Jan 2017 01:02:11 +0530, Ramakrishnan Muthukrishnan
wrote:
> After reading your message, I tried compiling a simple program using the
> '-fviaC'. But it looks like, on newer GHC it is deprecated and is going
> to be removed soon.
Which may still be sufficient to produce a bootstrap b
On Fri, Jan 13, 2017, at 07:35 PM, Joe M wrote:
> >
> > 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
> > 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
2017-01-13 15:05 GMT+01:00 Joe M :
> >
> > 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
>
> 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
Sorry for the confusion. I did not realize that there was an Idris
OS. I am referring to http://www.idris-lang.org/ , Idris Language.
Thanks
Skip Tavakkolian wrote:
> That is a reference to the Idris OS -- by Whitesmiths Ltd. (P.J. Plauger).
>
> For the record, David Stanhope did the port, and cr
That is a reference to the Idris OS -- by Whitesmiths Ltd. (P.J. Plauger).
For the record, David Stanhope did the port, and created the boot ROMs and
the cartridge to boot Idris. He also designed and built an Ethernet card
for the ST. I was a novice programmer/sysadm lucky enough to have one the
I think you may be confusing Idris the language and Idris the OS.
http://www.dadhacker.com/blog/?p=1383
(See Mike Spooner's post on Skip Tavakkolian.)
Sean
iPadから送信
2017/01/12 19:29、Joe M のメッセージ:
> Hello,
>
> I am looking to build a native (not using ape/posix) port of Idris on
> 9front.
>
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
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
11 matches
Mail list logo