archaeron

Organizations

@bejoo @idris-hackers

Public contributions

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May M W F
Contributions in the last year 473 total May 30, 2014 – May 30, 2015
Longest streak 15 days May 15 – May 29
Current streak 15 days May 15 – May 29
Period: 1 week

Contribution activity

28 commits

1 Pull Request

  1. Merged #15 Better syntax highlighting idris-hackers/atom-language-idris

6 Issues reported