9ee5b8d3fc26c54d52e5f2756cf62265c442a515
The recent update of Agda breaks this, including the most recent SVN checkout. I notified the author but marking as broken until a fix is committed.
Languages
Nix
95%
Shell
2%
Python
1.8%
Rust
0.3%
JavaScript
0.2%
Other
0.4%