Idea for a compilestep plugin

So I’m thinking about building a compile plugin that compiles from the Idris language (which supports compilation to javascript). I’m not looking for any particular answers but I thought it would be good idea to vent and see if anyone has any good feedback:

My current references:
Compilestep docs - Working mostly on this atm.
Build Machines api - I’m a bit confused over this. Is it possible to somehow add the idris executable pre-built to the package so that end users wont need to install it themselves?
Clojurescript plugin - I might take some inspiration from this but I’ll mainly go by the documentation since the meteor api seems to have gotten a few more bells and whistles since then.

I should maybe try to publish my progress and hope that I will not loose momentum until I’m finished.

1 Like