|
lua
|
there we go, coq much more functional now
|
2022-07-03 15:35:02 -07:00 |
|
.gitignore
|
Working on getting linux version working
|
2022-03-04 01:15:30 -08:00 |
|
coc-settings.json
|
updates
|
2022-04-22 13:54:00 -07:00 |
|
init.vim
|
there we go, coq much more functional now
|
2022-07-03 15:35:02 -07:00 |
|
local.vim.template
|
Dos2unix
|
2022-03-05 03:35:05 -08:00 |
