1bdb4a650eece88b8dd2e1f3d068789fb0e6fa86
All checks were successful
continuous-integration/drone/push Build is passing
Description
Languages
Haskell
34%
Ruby
18.5%
Coq
16.4%
SCSS
8.5%
Idris
8.4%
Other
14.1%