modules
|
path: added idris2
|
2025-08-25 06:28:31 +05:30 |
.gitignore
|
initial commit
|
2023-11-01 01:51:18 +05:30 |
flake.lock
|
added: eza, nushell; updated: starship
|
2025-06-26 03:08:43 +05:30 |
flake.nix
|
added: eza, nushell; updated: starship
|
2025-06-26 03:08:43 +05:30 |
LICENSE
|
initial commit
|
2023-11-01 01:51:18 +05:30 |
README.md
|
added: instructions
|
2024-10-21 13:21:27 +05:30 |