lua
|
coq now works properly.
|
2021-09-14 19:31:14 +08:00 |
plugin
|
coq now works properly.
|
2021-09-14 19:31:14 +08:00 |
.gitignore
|
coq now works properly.
|
2021-09-14 19:31:14 +08:00 |
init.lua
|
Add everything and LSP doesn work.
|
2021-09-07 23:26:21 +08:00 |
README.md
|
add README and ready to publish
|
2021-09-08 20:58:39 +08:00 |
restore.sh
|
add git signs and telescope, disable opt
|
2021-09-08 20:40:18 +08:00 |
test.sh
|
Add everything and LSP doesn work.
|
2021-09-07 23:26:21 +08:00 |