-
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
[FUTURE] Downstream agda-stdlib changes (related to lemmas about lists)
enhancement
New feature or request
good first issue
Good for newcomers
#563
opened Sep 10, 2024 by
omelkonian
Eliminate boolean properties
enhancement
New feature or request
good first issue
Good for newcomers
#342
opened Dec 19, 2023 by
WhatisRT
1 of 4 tasks
Haskell: use New feature or request
good first issue
Good for newcomers
haskell interface
hpack
to populate MAlonzo module names in the .cabal files
enhancement
#318
opened Nov 24, 2023 by
omelkonian
Organise imports
enhancement
New feature or request
good first issue
Good for newcomers
#222
opened Sep 19, 2023 by
omelkonian
Change Good for newcomers
txouts
into a List TxOut
good first issue
#207
opened Sep 11, 2023 by
WhatisRT
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
Well-formedness properties
enhancement
New feature or request
good first issue
Good for newcomers
#31
opened Nov 23, 2022 by
WhatisRT
Projections for the principal fields of records
enhancement
New feature or request
good first issue
Good for newcomers
ProTip!
Exclude everything labeled
bug
with -label:bug.