I realized I made a mistake and decided to back out of trying to change the Idris compiler. I got far enough to create typescript declarations, but only for primitive fields and not for records. It would be too deep of change to fix those. I have been working more with the existing idris js libraries, and it looks like it should work well enough. There is even a generator for boilerplate idris FFI code for webidl, so I plan to write a few webidl definitions of what I need for this project so that I don't need to write a bunch of boilerplate by hand, or make my own scripts to handle this. I looked deeper into bittorrent-tracker, and I think I'm going to try just using some http library, or just the javascript interface itself for calling the tracker. The problem is that the browser isn't really meant for a bt tracker (besides a websocket one, but there are very few public servers of these), so I will work on interfacing with that next.