Skip to content

Latest commit

 

History

History
3 lines (3 loc) · 403 Bytes

TODO.md

File metadata and controls

3 lines (3 loc) · 403 Bytes
  • get autoformatter for markdown in vscode
  • create autoref script that takes clean markdown and adds references (e.g., strategyproof should become {prf:ref}strategyproof <strategyproof_label>)
  • add label attacher code. This should run and take in every prf: environment and check to see if a label exists, if not, ask the user to create a label and then it well append _label to the text and add it.