Reference previous specifications & other material #341
Assignees
Labels
documentation
Improvements or additions to documentation
Comments
williamdemeo
added a commit
to formalverification/formal-ledger-specifications
that referenced
this issue
Jan 30, 2025
4 tasks
4 tasks
williamdemeo
added a commit
that referenced
this issue
Feb 20, 2025
This addresses #341. * add more references * include links to the Agda module for each section * Update src/Ledger/Introduction.lagda * Update src/Ledger/Utxow.lagda * add macros for consistent reference to cips * Replace \Ledger* commands by a parameterised command \LedgerModule * detokenize macro so href won't append `pdf` to url * Fix citations and import of Notation.tex * move EssentialAgda module outside Ledger module * add new macro for referencing official Agda docs * uncomment paragraph that may have been deleted accidentally; (remove it later if it was deleted on purpose) * final edits to remove some warnings in tex output --------- Co-authored-by: Andre Knispel <[email protected]> Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Since the PDF will eventually cover all specs, we should also cite all related work properly. The easiest way to do this would be to take the
*.bibfiles from the old specs & combine them, while also adding references to those specs themselves.The text was updated successfully, but these errors were encountered: