GitHub - sullyj3/goup: It's better than typing `cd ../../../..`

Name	Name	Last commit message	Last commit date
Latest commit sullyj3 minor style tweaks Mar 7, 2024 e8bdc50 · Mar 7, 2024 History 3 Commits
.gitignore	.gitignore	initial	Mar 7, 2024
Main.lean	Main.lean	minor style tweaks	Mar 7, 2024
lake-manifest.json	lake-manifest.json	Rename to goup	Mar 7, 2024
lakefile.lean	lakefile.lean	Rename to goup	Mar 7, 2024
lean-toolchain	lean-toolchain	initial	Mar 7, 2024
up.fish	up.fish	initial	Mar 7, 2024