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