op8867555

local counter = 0

function make_label(nonu)
  local label_class = 'margin-toggle' .. (nonu and '' or ' sidenote-number')
  local label_sym = nonu and '⊕' or ''
  local label_html = string.format(
    '<label for="sn-%d" class="%s">%s</label>',
    counter,
    label_class,
    label_sym

op8867555

{-# LANGUAGE PatternGuards #-}

{- This filter allows for numerical section references. It should be
used with "--number-sections", since it uses a similar numbering
scheme. It works by using the link notation: given a header with a
given id, we can refer to that number by using a link with `#` in it:

    My Header {#my-header-id}
    =========

op8867555

// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console