Patrick Aldis
|
27eb944b07
|
fix import list
|
2026-03-06 18:11:43 +00:00 |
|
Patrick Aldis
|
3a05d154d9
|
redundant parameter
|
2026-03-06 18:11:17 +00:00 |
|
Patrick Aldis
|
7ac8aef519
|
Add diagnostics for Megaparsec parsing
|
2026-03-06 17:32:18 +00:00 |
|
Patrick Aldis
|
dedc72789b
|
Refactor cases to move out let binding
|
2026-03-05 16:05:15 +00:00 |
|
Patrick Aldis
|
35b2fa4282
|
Use STM to share state between handlers
|
2026-03-05 15:59:45 +00:00 |
|
Patrick Aldis
|
dd761e8321
|
Highlighting doesnt crash on failed parse
|
2026-03-03 16:42:20 +00:00 |
|
Patrick Aldis
|
eac62e4198
|
working highlighting
|
2026-03-03 16:31:44 +00:00 |
|
Patrick Aldis
|
108001e987
|
Rudimentary highlighting
|
2026-03-03 16:00:36 +00:00 |
|
Patrick Aldis
|
6e726dfe54
|
datalog-lsp sensible file structure
|
2026-03-03 16:00:04 +00:00 |
|
Patrick Aldis
|
a967a8e532
|
Datalog Parser annotates SrcLoc
|
2026-03-03 14:26:31 +00:00 |
|
George Thomas
|
f87a3b72dd
|
wipp
|
2026-03-03 11:26:13 +00:00 |
|
George Thomas
|
8dc5cd3c17
|
format
|
2026-03-03 11:14:25 +00:00 |
|
Patrick Aldis
|
902fb4e0b5
|
Refactor parser to decorate with void
|
2026-03-03 10:29:22 +00:00 |
|
Patrick Aldis
|
e7340f9a4d
|
add pretty-simple
|
2026-03-03 10:29:01 +00:00 |
|
George Thomas
|
bd080c37aa
|
Use unidirectional pattern synonym
|
2026-03-02 17:21:22 +00:00 |
|
George Thomas
|
a1a8f1c6f4
|
Refactor to add metadata
|
2026-03-02 17:05:32 +00:00 |
|
Patrick Aldis
|
be5e487e31
|
refactor repo to datalog/datalog-lsp
|
2026-03-02 16:19:40 +00:00 |
|
Patrick Aldis
|
a42a546586
|
Hover displays the contents of the document
|
2026-02-27 12:07:52 +00:00 |
|
Patrick Aldis
|
fbb0fb27fb
|
LSP highlights the first 5 characters
|
2026-02-25 15:13:57 +00:00 |
|
Patrick Aldis
|
4f8e0d9da9
|
init
|
2026-02-24 12:32:45 +00:00 |
|