3ccb5e8c65aab527f9fa72559db17ff7b07d042b
This is mostly for Agda rendering. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
Description
Languages
HTML
44.8%
SCSS
36%
JavaScript
11.7%
Python
7.5%