3 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
juan	aec18442a6	add git signs and telescope, disable opt	2021-09-08 20:40:18 +08:00
juan	781e666443	LSP and coq now play nicely	2021-09-08 19:57:41 +08:00
juan	ea148c695e	Add everything and LSP doesn work.	2021-09-07 23:26:21 +08:00