This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
David Sancho
david.sancho.dev
did:plc:6pitj6wsbmhs6nwoewwolx3y
Day 2 of hacking before ICFP
Finally finished odoc markdown backend support in dune, it should make release nicer documentation sites (docusaurus, vitepress, etc) or even github itself
Before (odoc html) After (odoc to markdown |> vitepress)
2025-10-15T12:07:11.121Z