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

My personal configuration files and scripts.

dotfiles dot_agda libraries

46 B · 1 line

Blame

· Add Agda configuration files · 3y ago