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
