dot_agda/defaults at master · severen.dev/dotfiles · Tangled

My personal configuration files and scripts.

dotfiles dot_agda defaults

17 B · 1 line

Blame

· Add Agda configuration files · 3y ago