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 <joe9m...@gmail.com> のメッセージ: > 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 >