dex-lang icon indicating copy to clipboard operation
dex-lang copied to clipboard

Notebook should support markdown footnotes

Open axch opened this issue 2 years ago • 0 comments

The trick is that the footnote definition is separated from the text that refers to it by a blank, which the Dex notebook treats as a block boundary and ends up rendering in two separate markdown translation passes. Reproduction:

'Some text.[^explanation]

'[^explanation]: More text

does not generate a footnote, but should.

axch avatar Jun 09 '22 19:06 axch