Open nikomatsakis opened 7 years ago
So in other words, it should work exactly as it is working right now but it needs to be ported to (client side) JavaScript? I might look into this if I may.
@ests basically yes =)
And please do!
Please see my proposal. I will make any changes that you'll require. Please note, that we still need to test it against different browsers.
Opened #18 before reading this.
I am currently using a jekyll plugin to construct the links onto play. This prohibits us from doing the rendering directly in GitHub Pages. It'd be nice to solve this another way. One thought that I had was writing some JavaScript -- when you click on a link that should lead to play, it in fact runs some JS. This JS goes to fetch the Rust file from the server, applies the minimal transformations, and then redirects to the appropriate play URL (in another window, of course).