df5f5eba1c48c34186c4b90e8771dc3b66475e39
Description
Languages
Haskell
33.9%
Ruby
18.7%
Coq
16.4%
SCSS
8.5%
Idris
8.4%
Other
14%