https://github.com/kixiron/ddlog-lsp

A language server implementation for DDlog
https://github.com/kixiron/ddlog-lsp

Last synced: about 13 hours ago
JSON representation

A language server implementation for DDlog

• Host: GitHub
• URL: https://github.com/kixiron/ddlog-lsp
• Owner: Kixiron
• License: other
• Created: 2021-05-11T19:51:05.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-06-08T18:11:43.000Z (over 3 years ago)
• Last Synced: 2024-05-01T16:32:42.384Z (7 months ago)
• Homepage:
• Size: 2.56 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project