Frederik Batuna

found related issues - https://github.com/hypercore-protocol/hyperdrive-daemon/issues/44 - https://github.com/hypercore-protocol/hyperdrive/issues/144 - https://github.com/andrewosh/hyperdrive-fuse/issues/8 - https://github.com/hypercore-protocol/hyperdrive/pull/282

If you find it useful i can try to write a pull request

I'm implementing some here https://github.com/idris-lang/Idris2/pull/2981 Feel free to copy paste over

@CodingCellist maybe i want to rethink the guide. Something along the lines: "here is an opinionated setup on windows" - build from source using chez on ubuntu under wls -...

I thought more about your feedback, we could include both opinionated setup and general instructions. In the form of: ```markdown Example enviroment setup on windows: This is a step-by-step guide...

Absolutey, i have all the feedback i need to rewrite it. Thank you!

Lacking free time lately. I will eventually complete the PR

For my personal usage i settled on installing idris 2 with [pack](https://github.com/stefan-hoeck/idris2-pack) inside a WLS and editing with VSCode + idris2-lsp extension

I used to play trombone, the positions are bit different, but the idea is awesome. What about a clarinet/flute made of checkbox/radio buttons?

I synced the container with this github repository https://github.com/freddi301/idris2-node-dist Maybe that'why the contents are not visible?