i18n i18n Usage Minimal example Use in controller Register locale files Initialize controller language Handle language in controller Handle language in template Section Ambi...
Pitfalls Markdown Issues Duplicate Link Issues Footnote ID issues Footnote problems Sometimes you need to hide LaTeX to PDF And so we copied gibberish Issues with new lines ...
Bad Advice - Always Use a StringBuffer to Concatenate Bad Advice - Always Use a StringBuffer to Concatenate This advice is doubly wrong. Firstly it advocates using the synchro...
Localization Introduction Language Files Example Language File Changing The Default Language At Runtime Setting The Fallback Language Basic Usage Retrieving Lines From A Lang...
Sized Types Example for coinduction: finite languages Testing References Sized Types Note This is a stub. Sizes help the termination checker by tracking the depth of data s...
Going Local All the Markdown in One Creating PDFs Images and Your PDFs. Going Local Generating the formats Leanpub does is fairly straightforward [^pdf-exceptions]. Kramdown...