163fcd2b2ed907b731003b56459c4c2095bbc4ec
This reverts commit 133979218a.
Description
Languages
Haskell
33.6%
Ruby
18.5%
Coq
16.2%
SCSS
8.6%
Idris
8.3%
Other
14.7%