1db8a24b4d56494b5a1efd6f2cba679df14eb7e8
All checks were successful
continuous-integration/drone/push Build is passing
Description
Languages
Haskell
33.9%
Ruby
18.7%
Coq
16.4%
SCSS
8.5%
Idris
8.4%
Other
14%