d7846e0b32feac44fe6e3b7e0e76822aa9a5c4d5
Some checks failed
continuous-integration/drone/push Build is failing
Description
Languages
Haskell
34.9%
Ruby
19.3%
Coq
16.9%
Idris
8.6%
SCSS
6.1%
Other
14.1%