severen.dev / dotfiles
My personal configuration files and scripts.
fork atom
dotfiles / dot_agda / libraries
at master 1 lines 46 B view raw
1/usr/share/agda/lib/standard-library.agda-lib