CommunicationAnimale

Output HTML to stdout

1

I'd like to pipe the output of Madoko to an HTML renderer. Would it be possible to add a flag asking madoko to print the generated HTML file to standard...

Dead links on madoko.net

9

I noticed three dead links on the madoko.net homepage: - the "presentation example HTML" point to https://koka-lang.github.io/madoko/samples/slidedemo/out/slidedemo.html which gives a 404. - the "Example PDF" links to http://research.microsoft.com/en-us/um/people/daan/madoko/samples/effects/out/effects.pdf but redirects...