Sign in
Join now
dotfiles
severen.dev
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
My personal configuration files and scripts.
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
dotfiles
/
dot_agda
2 files
at
master
severen.dev
·
Add Agda configuration files
·
3y ago
0531668b
defaults
Add Agda configuration files
3y ago
libraries
Add Agda configuration files
3y ago
