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 <joe9m...@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 > > > >
