Re: [9fans] Porting Idris to 9front

[Joe M <joe9mail@gmail.com>]

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 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
> best hardware and software engineers I've ever met as a mentor.  My
> contributions to the project can be characterized as logistical support
> (documentation, support, etc.).
>
> -Skip
>
> On Thu, Jan 12, 2017 at 7:29 PM Joe M <joe9mail@gmail.com> wrote:
>
> > 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 advice or code that
> > I can reuse.
> >
> > Thanks
> > Joe
> >
> >