diff options
| author | Julian Berman <Julian@GrayVines.com> | 2022-03-18 22:46:05 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-18 19:46:05 -0700 |
| commit | dc3e1b25a1da2de5461c00b877f7eb2fdd906800 (patch) | |
| tree | 99be3ace22bc69153990f653d266a6f31c0fed6f /scripts | |
| parent | docs: update server_configurations.md (diff) | |
| download | nvim-lspconfig-dc3e1b25a1da2de5461c00b877f7eb2fdd906800.tar nvim-lspconfig-dc3e1b25a1da2de5461c00b877f7eb2fdd906800.tar.gz nvim-lspconfig-dc3e1b25a1da2de5461c00b877f7eb2fdd906800.tar.bz2 nvim-lspconfig-dc3e1b25a1da2de5461c00b877f7eb2fdd906800.tar.lz nvim-lspconfig-dc3e1b25a1da2de5461c00b877f7eb2fdd906800.tar.xz nvim-lspconfig-dc3e1b25a1da2de5461c00b877f7eb2fdd906800.tar.zst nvim-lspconfig-dc3e1b25a1da2de5461c00b877f7eb2fdd906800.zip | |
feat: add mm0 language support (#1787)
This is a theorem prover (https://github.com/digama0/mm0) in some sense
related to the existing (supported) Lean theorem prover.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions