dex-lang
dex-lang copied to clipboard
Notebook should support markdown footnotes
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.