56387cb936b7b0b6b4b5a7df7dd1e2daae4cdf12
Some checks failed
continuous-integration/drone/push Build is failing
Description
Languages
Haskell
33.6%
Ruby
18.5%
Coq
16.2%
SCSS
8.6%
Idris
8.3%
Other
14.7%