12e00cbaa727c38b8a5862966cc1d5526fcea49a
Byte-compile Agda's elisp files
Languages
Nix
95%
Shell
2%
Python
1.8%
Rust
0.3%
JavaScript
0.2%
Other
0.4%