b1e388cefbf30872a9d9e567da0598c24e61027a
This is necessary after the Agda-2.4.2 bump
Languages
Nix
95%
Shell
2%
Python
1.8%
Rust
0.3%
JavaScript
0.2%
Other
0.4%