severen.dev / dotfiles
My personal configuration files and scripts.
fork atom
dotfiles / dot_agda / defaults
at master 1 lines 17 B view raw
1standard-library