I looked more into idris and javascript and although it's possible, I don't think its a good idea. For one, when js calls idris, it won't be typesafe, which can screw up the whole thing. The other issue is that I wouldn't be able to use idris with any frontend code, which means I would be stuck with js or typescript anyway. Also, it's easy to fall down a rabbit hole using idris, so I'm back to typescrypt. The last couple of days I spent a lot of time learning the ins and outs of it. Other than that I fooled around with linking npm modules together so I can create a well structured project right off the bat.