Commit Graph

2 Commits

Author SHA1 Message Date
MasterGordon f18e06823f added rust and lsp status 2021-10-17 18:56:10 +02:00
MasterGordon 7f9cdd2b11 added coq + fixed diagnostics 2021-09-27 22:14:28 +02:00