3ccb5e8c65aab527f9fa72559db17ff7b07d042b
This is mostly for Agda rendering. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
Description
Languages
HTML
46.1%
SCSS
35.2%
JavaScript
11.4%
Python
7.3%