This website requires JavaScript.
Explore
Help
Register
Sign In
patrickaldis
0 Followers
·
0 Following
Joined on
2025-09-02
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
2
Projects
Packages
Public Activity
Starred Repositories
patrickaldis
pushed to
master
at
patrickaldis/geolog-lsp
2026-03-09 16:19:56 +00:00
2222fa87c7
newtype over data
6f37a60f3b
more sensible error message
6b2ae759ab
pull responder out of case
535d985aa9
better ordered typeclasses
5c97fd64db
updateState has more general type
Compare 5 commits »
patrickaldis
pushed to
master
at
patrickaldis/geolog-lsp
2026-03-06 18:11:49 +00:00
27eb944b07
fix import list
3a05d154d9
redundant parameter
Compare 2 commits »
patrickaldis
pushed to
master
at
patrickaldis/geolog-lsp
2026-03-06 17:32:24 +00:00
7ac8aef519
Add diagnostics for Megaparsec parsing
patrickaldis
pushed to
master
at
patrickaldis/geolog-lsp
2026-03-06 17:27:57 +00:00
372ed516f4
Add diagnostics for Megaparsec parsing
patrickaldis
pushed to
master
at
patrickaldis/geolog-lsp
2026-03-06 12:11:46 +00:00
026c66bce0
Add diagnostics for Megaparsec parsing
dedc72789b
Refactor cases to move out let binding
35b2fa4282
Use STM to share state between handlers
dd761e8321
Highlighting doesnt crash on failed parse
eac62e4198
working highlighting
Compare 7 commits »
patrickaldis
pushed to
master
at
patrickaldis/geolog-lsp
2026-03-03 14:27:04 +00:00
0086a1e488
datalog-lsp sensible file structure
a967a8e532
Datalog Parser annotates SrcLoc
Compare 2 commits »
patrickaldis
pushed to
master
at
patrickaldis/geolog-lsp
2026-03-03 11:05:21 +00:00
d28638e286
Current progress
902fb4e0b5
Refactor parser to decorate with void
e7340f9a4d
add pretty-simple
Compare 3 commits »
patrickaldis
pushed to
master
at
patrickaldis/geolog-lsp
2026-03-02 16:30:40 +00:00
be5e487e31
refactor repo to datalog/datalog-lsp
a42a546586
Hover displays the contents of the document
Compare 2 commits »
patrickaldis
pushed to
master
at
patrickaldis/geolog-lsp
2026-02-25 15:14:04 +00:00
fbb0fb27fb
LSP highlights the first 5 characters
patrickaldis
pushed to
master
at
patrickaldis/geolog-lsp
2026-02-25 14:57:55 +00:00
33303c9b95
LSP highlights the first 5 characters
patrickaldis
pushed to
master
at
patrickaldis/geolog-lsp
2026-02-24 12:35:54 +00:00
4f8e0d9da9
init
patrickaldis
created branch
master
in
patrickaldis/geolog-lsp
2026-02-24 12:35:54 +00:00
patrickaldis
created repository
patrickaldis/geolog-lsp
2026-02-24 12:33:40 +00:00
patrickaldis
pushed to
main
at
patrickaldis/garnet
2026-02-17 14:57:58 +00:00
39283930d5
Initial
patrickaldis
pushed to
main
at
patrickaldis/garnet
2026-02-17 12:22:39 +00:00
1700fa33ff
disable hoogle
patrickaldis
pushed to
main
at
patrickaldis/garnet
2026-02-17 12:17:28 +00:00
432d33a8a4
cleanup old files
patrickaldis
pushed to
main
at
patrickaldis/garnet
2026-02-17 11:31:41 +00:00
be0bfd0545
Pass
is_real_data
to parsers
ea3900dd93
Add extra context to test errors
19d402ec8f
Refactor to use
filter_map
cb7b821434
Move to avoid allocation
6ec723ea69
Minor refactor
Compare 10 commits »
patrickaldis
created branch
main
in
patrickaldis/garnet
2026-02-17 11:31:41 +00:00
patrickaldis
created repository
patrickaldis/garnet
2026-02-17 11:30:18 +00:00
patrickaldis
pushed to
main
at
fdilke/pyrites
2026-01-15 16:01:22 +00:00
e462724482
add evaluation tests
b603d9edf9
rename parseLiteral to parseTerm
Compare 2 commits »
First
Previous
1
2
Next
Last
