Loreon
Labs
Platform
Docs
Home
Ecosystems
Shell
dotfiles
Configuration files
Shell
Emerging
GitHub
Stars
3
Forks
—
Contributors
1
Last push
6mo ago
Recent commits
Latest commits.
Updates
13ac265
Stuart Gale
6mo ago
Update bashrc
afe8ccf
Stuart Gale
39mo ago
Updating install script
0774075
Stuart Gale
41mo ago
More updates
b6f86a2
Stuart Gale
41mo ago
Updates to various files
cdce409
Stuart Gale
41mo ago
update install
58da6d2
Stuart Gale
91mo ago
Make Agda bindings work in terminal emacs
468f0e7
Stuart Gale
110mo ago
Updates to bashrc and .emacs
ed3b59f
Stuart Gale
118mo ago
Top contributors
Builders behind this project.
bishboria
91 commits
