-
Notifications
You must be signed in to change notification settings - Fork 13
Issues: IntersectMBO/formal-ledger-specifications
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Investigate LaTeX issue
documentation
Improvements or additions to documentation
investigation
upstream bug
#499
opened Jul 5, 2024 by
WhatisRT
Update the color of names that have been moved to type classes
documentation
Improvements or additions to documentation
Should we have a Improvements or additions to documentation
Composable
type class?
discussion
documentation
document: changes to fee calculation w.r. ref scripts
documentation
Improvements or additions to documentation
era: conway
#408
opened May 1, 2024 by
ashisherc
Missing Plutus script version compatiblity
documentation
Improvements or additions to documentation
era: conway
#380
opened Mar 5, 2024 by
SeungheonOh
Reference previous specifications & other material
documentation
Improvements or additions to documentation
#341
opened Dec 19, 2023 by
WhatisRT
Formatting STS rules
documentation
Improvements or additions to documentation
#340
opened Dec 19, 2023 by
WhatisRT
Kleene algebra for STS relations
documentation
Improvements or additions to documentation
investigation
#295
opened Nov 8, 2023 by
WhatisRT
Other PDF cleanup items
documentation
Improvements or additions to documentation
#289
opened Nov 7, 2023 by
WhatisRT
11 of 24 tasks
Equality in the PDF
documentation
Improvements or additions to documentation
enhancement
New feature or request
#286
opened Nov 7, 2023 by
WhatisRT
3 tasks
Alonzo documentation
documentation
Improvements or additions to documentation
#283
opened Nov 7, 2023 by
WhatisRT
3 tasks
Automation for documenting Agda code
documentation
Improvements or additions to documentation
enhancement
New feature or request
good first issue
Good for newcomers
help wanted
Extra attention is needed
#182
opened Aug 17, 2023 by
williamdemeo
Build directory for Improvements or additions to documentation
enhancement
New feature or request
Makefile
documentation
#166
opened Aug 3, 2023 by
WhatisRT
Improve HTML output
documentation
Improvements or additions to documentation
#8
opened Aug 1, 2022 by
WhatisRT
ProTip!
Add no:assignee to see everything that’s not assigned.