-
-
Notifications
You must be signed in to change notification settings - Fork 18
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
Investigate track health and status of the track #9
Comments
No data available. Track is inactive. |
Yeah, we need to think up some Idris-specific exercises first. It's quite different in nature from the other tracks and as such warrants unique exercises. |
That makes sense. Would idris-appropriate exercises work for any other languages at all? Or would this be completely unique-to-idris stuff? |
They'd work for Coq or Agda 😄. Maybe some for Haskell, especially once dependent types land in GHC. |
Hah. OK, then :) Since they could be used for a different language, then I think it makes sense to make them general (x-common, etc) |
I've used Sarah Sharp's FOSS Heartbeat project to generate stats for each of the language track repositories, as well as the x-common repository.
The Exercism heartbeat data is published here: https://exercism.github.io/heartbeat/
When looking at the data, please disregard any activity from me (
kytrinyx
), as I would like to get the language tracks to a point where they are entirely maintained by the community.Please take a look at the heartbeat data for this track, and answer the following questions:
I've made up the following scale:
It would also be useful to know if there a lot of activity on the track, or just the occasional issue or comment.
Please report the current status of the track, including your best guess on the above scale, back to the top-level issue in the discussions repository: exercism/discussions#97
The text was updated successfully, but these errors were encountered: