The Nest
Explore
Sign in
4kusto
vie
ViETest
test_paths
dir0
dir1
1
text editor inspired vim and yi
Code
Changes
Tags
Discussions
main
4kusto
update flake.nix: Basically, we are going to use lean4 from elan.
on March 9, 2026
dir0
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
dir1
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
dir2
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
dir3
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
file1.txt
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
file2.txt
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
file3.txt
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
file4.txt
test: rename Test modules to ViETest and remove dead code
on March 7, 2026
file5.txt
test: rename Test modules to ViETest and remove dead code
on March 7, 2026