-
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
Rename top-level generated module
ci
enhancement
New feature or request
#595
opened Oct 14, 2024 by
abailly-iohk
[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
Improve output of New feature or request
genErrors
conformance
enhancement
#546
opened Aug 15, 2024 by
WhatisRT
3 tasks
Add New feature or request
era: conway
era: shelley
REAP
STS
enhancement
#455
opened Jun 5, 2024 by
WhatisRT
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
Make New feature or request
investigation
Functor
instance for ℙ_
enhancement
#322
opened Dec 5, 2023 by
WhatisRT
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
Equality in the PDF
documentation
Improvements or additions to documentation
enhancement
New feature or request
#286
opened Nov 7, 2023 by
WhatisRT
3 tasks
Introduce New feature or request
Setoid
interface, for dealing with equality/equivalences in a uniform way.
enhancement
#241
opened Oct 13, 2023 by
omelkonian
Organise imports
enhancement
New feature or request
good first issue
Good for newcomers
#222
opened Sep 19, 2023 by
omelkonian
Return pattern for STS's
enhancement
New feature or request
investigation
#208
opened Sep 12, 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
Build directory for Improvements or additions to documentation
enhancement
New feature or request
Makefile
documentation
#166
opened Aug 3, 2023 by
WhatisRT
Weaken New feature or request
haskell interface
DecEq
in TokenAlgebra
enhancement
#151
opened Jul 25, 2023 by
WhatisRT
Broken inference
enhancement
New feature or request
investigation
#86
opened Apr 19, 2023 by
WhatisRT
4 tasks
Remaining MA features/proofs
enhancement
New feature or request
era: shelley-ma
#56
opened Mar 2, 2023 by
WhatisRT
1 of 4 tasks
Fuel for tactics
enhancement
New feature or request
metaprogramming
#48
opened Feb 7, 2023 by
WhatisRT
2 tasks
Deriving decidability
enhancement
New feature or request
metaprogramming
#32
opened Nov 23, 2022 by
WhatisRT
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
Pattern matching in deriveComp
enhancement
New feature or request
metaprogramming
#4
opened Aug 1, 2022 by
WhatisRT
ProTip!
Find all open issues with in progress development work with linked:pr.