801a4818c8a6e86b04483058c188bef89535db47
Add expression for the Agda standard library
Languages
Nix
95%
Shell
2%
Python
1.8%
Rust
0.3%
JavaScript
0.2%
Other
0.4%