extend the data model
Open
- Dominant language
- Idris
- Stars
- 38
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
- [ ] floats
- [ ] tables
Contributor guide
No contributing guide indexed for this repository
Research direction
No files, tests, or entry points are identified. Start by locating the data model definition and any existing model tests, then determine the intended representations for floats and tables. Done means both checklist items have an agreed specification, implementation, and test coverage.
Written by the indexing model from the issue text.
Assessment
- Domain
- data
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100