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 > >