Who participates in idris-lang/idris-dev?

FOSS Heartbeat analyses the health of a community of contributors.