IntersectMBO / IntersectMBO/formal-ledger-specifications
Broken inference
Open
enhancement
good first issue
investigation
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
There are many places where we currently have to pass arguments manually that feel like they should be inferrable automatically. The purpose of this issue is to weed these out as much as possible. We should collect the functions that are likely to have this behavior, organize them into similar groups and document the issues that break inference. We can then make a plan to fix those issues.
- [ ] List functions with broken inference
- [ ] Group them into similar types
- [ ] Document why/how they are broken
- [ ] Fix as many as possible
Contributor guide
Assessment
This issue has not been assessed yet.