idris2-rhone-js
idris2-rhone-js copied to clipboard
Server side rendering tutorial
how to accomplish what next.js accomplishes?
if website is requested first time - THEN send html with prerendered content ELSE (if just going to other page using browser) THEN request server /api for more data and render new page on browser side
Sorrry, I don't understand the question. What is next.js?
There is an HTML to String rendering function, but I suggest you have a look at idris2-dom-mvc, which comes without the FRP complexity of idris2-rhone-js.