3 Commits

Author	SHA1	Message	Date
juan	bff6f5e613	update blankline and formatter.	2021-09-14 19:58:30 +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