FOSS Heartbeat for idris-lang/idris-dev
Home
Newcomers
Contributors
Sentiment
Thinking of joining idris-lang/idris-dev?
FOSS Heartbeat analyses the health of a community of contributors.
Learn more
How do people first interact with the project?
How long does it take people to contribute?