Re: [9fans] Porting Idris to 9front

2017-01-12 Thread Sean Callanan
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. >

Re: [9fans] Porting Idris to 9front

2017-01-12 Thread Ramakrishnan Muthukrishnan
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

[9fans] Porting Idris to 9front

2017-01-12 Thread Joe M
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