Commit Graph

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