What is the state of this project
Open
- Dominant language
- TeX
- Stars
- 28
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
Hi, I'm interested in getting servant working in Idris and this project seems to be the most complete attempt at this. At what stage is this project, do you have a TODO? Would you be interested in resurrecting it?
Contributor guide
No contributing guide indexed for this repository
Research direction
The issue names no files, tests, or entry points. Start by reviewing the repository and project description to determine the current state and any TODO; done would require an agreed scope for resurrecting the Idris implementation.
Written by the indexing model from the issue text.
Assessment
- Domain
- api
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 15/100