My personal configuration files and scripts.
at master 1 lines 46 B view raw
1/usr/share/agda/lib/standard-library.agda-lib